|Did you know ...||Search Documentation:|
|tipc_paxos.pl -- 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
The following predicates are re-exported from other modules
The following predicates are exported, but not or incorrectly documented.