tipc

Prolog files

tipc.pl  -- TIPC Sockets
tipc_broadcast.pl  -- A TIPC Broadcast Bridge
tipc_host_to_address/2	locates a TIPC service by name.
tipc_initialize/0	See tipc:tipc_initialize/0.
tipc_linda.pl  -- A Process Communication Interface
bagof_in_noblock/3	Bag is the list of all instances of Template such that Tuple exists in the tuple-space.
bagof_rd_noblock/3	Bag is the list of all instances of Template such that Tuple exists in the tuple-space.
close_client/0	Closes the connection to the Linda-server.
in/1	Atomically removes the tuple Tuple from Linda's tuple-space if it is there.
in/2	As in/1 but succeeds when any one of the tuples in TupleList is available.
in_noblock/1	Atomically removes the tuple Tuple from Linda's tuple-space if it is there.
linda/0	Starts a Linda-server in this process.
linda/1	Starts a Linda-server in this process.
linda_client/1	Establishes a connection to a Linda-server providing a named tuple space.
linda_eval/1	Causes Goal to be evaluated in parallel with a parent predicate.
linda_eval/2	Causes Goal to be evaluated in parallel with a parent predicate.
linda_eval_detached/1	Causes Goal to be evaluated in parallel with a parent predicate.
linda_eval_detached/2	Causes Goal to be evaluated in parallel with a parent predicate.
linda_timeout/1	Temporarily sets Linda's timeout.
linda_timeout/2	Controls Linda's message-passing timeout.
out/1	Places a Tuple in Linda's tuple-space.
rd/1	Succeeds nondeterministically if Tuple is available in the tuple-space, suspends otherwise until it is available.
rd/2	As in/2 but provides a choice point that does not remove any tuples.
rd_noblock/1	Succeeds nondeterministically if Tuple is available in the tuple-space, fails otherwise.
tipc_linda_server/0	Acts as a stand-alone Linda server.
tuple/1	registers Head as a virtual tuple in TIPC Linda's tuple space.
tuple/2	registers Head as a virtual tuple in TIPC Linda's tuple space.
tipc_paxos.pl  -- Paxos on TIPC
tipc_paxos_get/1
tipc_paxos_get/2
tipc_paxos_on_change/2
tipc_paxos_set/1
tipc_paxos_set/2