SWI-Prolog Did You Know Did you know? M-/ does autocomplete in pceEmacs Search Documentation:
Predicate paxos_ledger_hook/5