SWI-Prolog -- tipc_paxos_on

Documentation
- Reference manual
- Packages
  - Transparent Inter-Process Communications (TIPC) libraries
    - The TIPC libraries: library(tipc/...)
      - tipc_paxos.pl: A Replicated Data Store
        
        tipc_paxos_set/1
        
        tipc_paxos_set/2
        
        tipc_paxos_get/1
        
        tipc_paxos_replicate/1
        
        tipc_paxos_on_change/2
        
        tipc_initialize/0

[det]tipc_paxos_on_change(?Term, :Goal)

executes the specified Goal when Term changes. tipc_paxos_on_change/2 listens for paxos_changed/1 notifications for Term, which are emitted as the result of successful tipc_paxos_set/1 transactions. When one is received for Term, then Goal is executed in a separate thread of execution.

Term is a compound, identical to that used for tipc_paxos_get/1.

Goal

is one of:

a callable atom or term, or
the atom ignore, which causes monitoring for Term to be discontinued.