Did you know ... Search Documentation:
Paxos -- a SWI-Prolog replicating key-value store