• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

1 library(paxos): A Replicated Data Store
All Application Manual Name SummaryHelp

  • 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[det]paxos_on_change(?Term, :Goal)
[det]paxos_on_change(?Key, ?Value, :Goal)
Executes the specified Goal when Key changes. paxos_on_change/2 listens for paxos_changed(Key,Value) notifications for Key, which are emitted as the result of successful paxos_set/3 transactions. When one is received for Key, then Goal is executed in a separate thread of execution.
Term is a compound, identical to that used for paxos_get/1.
Goal is one of:

  • a callable atom or term, or
  • the atom ignore, which causes monitoring for Term to be discontinued.

ClioPatria (version V3.1.1-51-ga0b30a5)