/usr/lib/swipl/library/ext/paxos/paxos.pl
All Application Manual Name SummaryHelp

  • paxos
    • paxos.pl -- 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
 paxos_set(+Term) is semidet
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.