1 library(paxos): A Replicated Data Store
AllApplicationManualNameSummaryHelp

  • 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)
Source[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.