|Did you know ...||Search Documentation:|
:- use_module(library(paxos)).(can be autoloaded)
paxos_changed(Key,Value)notifications for Key, which are emitted as the result of successful paxos_set/3 transactions. When one is received for Key, then Goal is executed in a separate thread of execution.
|Term||is a compound, identical to that used for paxos_get/1.|
|Goal||is one of: