2.3 library(tipc/tipc_paxos): Paxos on TIPC

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).

[semidet]tipc_paxos_set(?Term)

[semidet]tipc_paxos_get(?Term)

[semidet]tipc_paxos_get(?Term, +Options)

[semidet]tipc_paxos_set(?Term, +Options)

[det]tipc_paxos_on_change(?Term, :Goal)

[semidet]tipc_initialize

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.