This module provides compatibility for using paxos over TIPC. As of SWI-Prolog 7.7.15 the core of this module has been moved to the core library as library(paxos) and can be used with other distributed implementations of library(broadcast) such as library(udb_broadcast).

 tipc_paxos_set(?Term) is semidet

 tipc_paxos_get(?Term) is semidet

 tipc_paxos_get(?Term, +Options) is semidet

 tipc_paxos_set(?Term, +Options) is semidet

 tipc_paxos_on_change(?Term, :Goal) is det

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 tipc_initialize is semidet

causes the TIPC service and the TIPC stack to be initialized and made ready for service. An application must call this predicate as part of its initialization prior to any use of TIPC predicates. Please note the change of the API.

 tipc_paxos_set(?Term) is semidet

 tipc_paxos_get(?Term) is semidet

 tipc_paxos_get(?Term, +Options) is semidet

 tipc_paxos_set(?Term, +Options) is semidet

 tipc_paxos_on_change(?Term, :Goal) is det

 tipc_paxos_set(?Term) is semidet

 tipc_paxos_get(?Term) is semidet

 tipc_paxos_get(?Term, +Options) is semidet

 tipc_paxos_set(?Term, +Options) is semidet

 tipc_paxos_on_change(?Term, :Goal) is det

 tipc_paxos_set(?Term) is semidet

 tipc_paxos_get(?Term) is semidet

 tipc_paxos_get(?Term, +Options) is semidet

 tipc_paxos_set(?Term, +Options) is semidet

 tipc_paxos_on_change(?Term, :Goal) is det

 tipc_paxos_set(?Term) is semidet

 tipc_paxos_get(?Term) is semidet

 tipc_paxos_get(?Term, +Options) is semidet

 tipc_paxos_set(?Term, +Options) is semidet

 tipc_paxos_on_change(?Term, :Goal) is det