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

paxos

Prolog files

paxos.pl  -- A Replicated Data StoreShow source
paxos_get/1Equivalent to paxos_key(Term,Key), pasox_get(Key,Term).Source
paxos_get/2unifies Term with the entry retrieved from the Paxon's ledger.Source
paxos_get/3unifies Term with the entry retrieved from the Paxon's ledger.Source
paxos_initialize/1Initialize this Prolog process as a paxos node.Source
paxos_ledger_hook/5Hook called for all operations on the ledger.Source
paxos_on_change/2Executes the specified Goal when Key changes.Source
paxos_on_change/3Executes the specified Goal when Key changes.Source
paxos_property/1True if Property is a current property for the paxos network.Source
paxos_quorum_ask/4Ask the paxos forum for their opinion.Source
paxos_replicate_key/3Replicate a Key to Nodes.Source
paxos_set/1Equivalent to paxos_key(Term,Key), pasox_set(Key,Term).Source
paxos_set/2negotiates to have Key-Value recorded in the ledger for each of the quorum's members.Source
paxos_set/3negotiates to have Key-Value recorded in the ledger for each of the quorum's members.Source