paxos_property/1

Documentation
- Reference manual
- Packages
  - Paxos -- a SWI-Prolog replicating key-value store
    - library(paxos): A Replicated Data Store

Availability::- use_module(library(paxos)).(can be autoloaded)

Source

paxos_property(?Property)

True if Property is a current property for the paxos network. Defined properties are:

node(?NodeID)
quorum(?NodeBitmap)
failed(?NodeBitmap)