1 library(paxos): A Replicated Data Store
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Packages
Paxos -- a SWI-Prolog replicating key-value store
library(paxos): A Replicated Data Store
paxos_initialize/1
paxos_property/1
paxos_set/1
paxos_set/2
paxos_set/3
paxos_quorum_ask/4
paxos_get/1
paxos_get/2
paxos_get/3
paxos_replicate_key/3
paxos_on_change/2
paxos_on_change/3
paxos_ledger_hook/5
Availability:
:- use_module(
library(paxos)
).
(can be autoloaded)
[semidet]
paxos_set
(
+Term
)
Equivalent to
paxos_key(Term,Key)
,
pasox_set(Key,Term)
. I.e.,
Term
is a ground compound term and its key is the name/arity pair. This version provides compatibility with older versions of this library.