Did you know ... Search Documentation:
Pack canny_tudor -- prolog/swi/paxos.pl
PublicShow source
 paxos_quorum_nodes(-Nodes:list(nonneg)) is semidet
Nodes is a list of Paxos consensus nodes who are members of the quorum. Fails if Paxos not yet initialised.
Arguments:
Nodes- is a list of node indices in low-to-high order.
 paxos_quorum_nth1(?Nth1:nonneg) is semidet
Unifies Nth1 with the order of this node within the quorum. Answers 1 if this node comes first in the known quorum of consensus nodes, for example.