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 library(udb_broadcast)
.
The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.