Did you know ... Search Documentation:
Title for pldoc(dir_index)

paxos

Prolog files

paxos.pl  -- A Replicated Data StoreShow source