tipc

Prolog files

tipc.pl  -- TIPC Sockets
tipc_accept/3	Blocks on a server socket and waits for connection requests from clients.
tipc_bind/3	Associates/disassociates a socket with the name/3 or name_seq/3 address specified in Address.
tipc_canonical_address/2	Translates a port_id/2 address into canonical TIPC form:.
tipc_close_socket/1	Closes the indicated socket, making SocketId invalid.
tipc_connect/2	Provides a connection-oriented, client-interface to connect a socket to a given TIPC_address.
tipc_get_name/2	Unifies TIPC_address with the port-id assigned to the socket.
tipc_get_peer_name/2	Unifies TIPC_address with the port-id assigned to the socket that this socket is connected to.
tipc_initialize/0	causes the TIPC service and the TIPC stack to be initialized and made ready for service.
tipc_listen/2	Listens for incoming requests for connections.
tipc_open_socket/3	Opens two SWI-Prolog I/O-streams, one to deal with input from the socket and one with output to the socket.
tipc_receive/4	Waits for, and returns the next datagram.
tipc_send/4	sends a TIPC datagram to one or more destinations.
tipc_service_exists/1	Interrogates the TIPC topology server to see if a service is available at an advertised Address.
tipc_service_exists/2	Interrogates the TIPC topology server to see if a service is available at an advertised Address.
tipc_service_port_monitor/2	Monitors a collection of worker threads that are bound to a list of Addresses.
tipc_service_port_monitor/3	Monitors a collection of worker threads that are bound to a list of Addresses.
tipc_service_probe/1	Allows a user to discover the instance ranges and/or port-ids for a particular service.
tipc_service_probe/2	Allows a user to discover the instance ranges and/or port-ids for a particular service.
tipc_setopt/2	Sets options on the socket.
tipc_socket/2	Creates a TIPC-domain socket of the type specified by SocketType, and unifies it to an identifier, SocketId.
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