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.