paxos_get/3

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)

[semidet]paxos_get(+Key, +Value)

[semidet]paxos_get(+Key, +Value, +Options)

unifies Term with the entry retrieved from the Paxon's ledger. If no such entry exists in the member's local cache, then the quorum is asked to provide a value, which is verified for consistency. An implied paxos_set/1 follows. This predicate succeeds if a term with the same functor and arity exists in the Paxon's ledger, and fails otherwise.

Options processed:

retry(Retries): is a non-negative integer specifying the number of retries that will be performed before a set is abandoned. Defaults to the setting max_gets (5).
timeout(+Seconds): Max time to wait for the forum to reply. Defaults to the setting response_timeout (0.020, 20ms).

Term

is a compound. Any unbound variables are unified with those provided in the ledger entry.