crypt.pl |
|---|
| filesex.pl -- Extended operations on files |
|---|
| hash_stream.pl -- Maintain a hash on a stream |
|---|
| mallocinfo.pl -- Memory allocation details |
|---|
| md5.pl |
|---|
| md5_hash/3 | Hash is the MD5 hash of Data, The conversion is controlled by Options:. | |
| memfile.pl |
|---|
| process.pl -- Create processes and redirect I/O |
|---|
| prolog_stream.pl -- A stream with Prolog callbacks |
|---|
| rlimit.pl |
|---|
| sha.pl -- SHA secure hashes |
|---|
| socket.pl |
|---|
| gethostname/1 | Return the canonical fully qualified name of this host. | |
| host_address/3 | Translate between a machines host-name and it's (IP-)address. | |
| ip_name/2 | Translate between the textual representation of an IP address and the Prolog data structure. | |
| negotiate_socks_connection/2 | Negotiate a connection to DesiredEndpoint over StreamPair. | |
| proxy_for_url/3 | This hook can be implemented to return a proxy to try when connecting to URL. | |
| rewrite_host/3 | Allow rewriting the host for tcp_connect/2 and therefore all other predicates to connect a socket. | |
| socket_create/2 | Create a socket according to Options. | |
| tcp_accept/3 | This predicate waits on a server socket for a connection request by a client. | |
| tcp_bind/2 | Bind the socket to Address on the current machine. | |
| tcp_close_socket/1 | Closes the indicated socket, making SocketId invalid. | |
| tcp_connect/2 | Connect SocketId. | |
| tcp_connect/3 | Establish a TCP communication as a client. | |
| tcp_connect/4 | Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write. | |
| tcp_fcntl/3 | Interface to the fcntl() call. | |
| tcp_getopt/2 | Get information about Socket. | |
| tcp_host_to_address/2 | Translate between a machines host-name and it's (IP-)address. | |
| tcp_listen/2 | Tells, after tcp_bind/2, the socket to listen for incoming requests for connections. | |
| tcp_open_socket/2 | Create streams to communicate to SocketId. | |
| tcp_open_socket/3 | Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair. | |
| tcp_select/3 | Same as the built-in wait_for_input/3. | |
| tcp_setopt/2 | Set options on the socket. | |
| tcp_socket/1 | Equivalent to socket_create(SocketId, []) or, explicit, socket_create(SocketId, [domain(inet), type(stream)]). | |
| try_proxy/4 | Attempt a socket-level connection via the given proxy to TargetAddress. | |
| udp_receive/4 | Wait for and return the next datagram. | |
| udp_send/4 | Send a UDP message. | |
| udp_socket/1 | Equivalent to socket_create(SocketId, [type(dgram)]) or, explicit, socket_create(SocketId, [domain(inet), type(dgram)]). | |
| unix_domain_socket/1 | Equivalent to socket_create(SocketId, [domain(unix)]) or, explicit, socket_create(SocketId, [domain(unix), type(stream)]). | |
| streampool.pl |
|---|
| close_stream_pool/0 | Close all streams in the pool. | |
| delete_stream_from_pool/1 | Retract stream from the pool. | |
| dispatch_stream_pool/1 | Wait for input on one or more streams and handle that. | |
| stream_pool_main_loop/0 | Keep handling input from the streams in the pool until they have all died away. | |
| syslog.pl -- Unix syslog interface |
|---|
| time.pl -- Time and alarm library |
|---|
| udp_broadcast.pl -- A UDP broadcast proxy |
|---|
| uid.pl |
|---|
| getegid/1 | GID is the effective group ID of the calling process. | |
| geteuid/1 | UID is the effective user ID of the calling process. | |
| getgid/1 | GID is the real group ID of the calling process. | |
| getgroups/1 | GroupsIDs is the set of supplementary group IDs of the calling process. | |
| getuid/1 | UID is the real user ID of the calling process. | |
| group_data/3 | Value is the value for Field GroupData. | |
| group_info/2 | GroupData represent the group information for Group. | |
| initgroups/2 | Initialise the group access list of the calling process to the registered groups for User and the group Group. | |
| set_user_and_group/1 | Set the UID and GID to the User. | |
| set_user_and_group/2 | Set the UID and GID to the User. | |
| setegid/1 | Set the effective group id of the calling process. | |
| seteuid/1 | Set the effective user id of the calling process. | |
| setgid/1 | Set the group id of the calling process. | |
| setgroups/1 | Set the group access list of the caling process to the indicated groups. | |
| setuid/1 | Set the user id of the calling process. | |
| user_data/3 | Value is the value for Field in UserData. | |
| user_info/2 | UserData represent the passwd information for User. | |
| unix.pl |
|---|
| detach_IO/0 | Detach I/O similar to detach_IO/1. | |
| detach_IO/1 | This predicate is intended to create Unix deamon processes. | |
| dup/2 | Interface to Unix dup2(), copying the underlying filedescriptor and thus making both streams point to the same underlying object. | |
| exec/1 | Replace the running program by starting Command. | |
| fork/1 | Clone the current process into two branches. | |
| fork_exec/1 | Fork (as fork/1) and exec (using exec/1) the child immediately. | |
| kill/2 | Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal. | |
| pipe/2 | Create a communication-pipe. | |
| prctl/1 | Access to Linux process control operations. | |
| sysconf/1 | Access system configuration. | |
| wait/2 | Wait for a child to change status. | |
| uri.pl -- Process URIs |
|---|
| uuid.pl -- Universally Unique Identifier (UUID) Library |
|---|