clib
Prolog files
cgi.pl -- Read CGI parameters![]() | ||
|---|---|---|
crypt.pl![]() | ||
filesex.pl -- Extended operations on files![]() | ||
hash_stream.pl -- Maintain a hash on a stream![]() | ||
md5.pl -- MD5 hashes![]() | ||
| 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![]() | ||
| is_process/1 | True if PID might be a process. | ![]() |
| process_create/3 | Create a new process running the file Exe and using arguments from the given list. | ![]() |
| process_group_kill/1 | Send signal to the group containing process PID. | ![]() |
| process_group_kill/2 | Send signal to the group containing process PID. | ![]() |
| process_id/1 | True if PID is the process id of the running Prolog process. | ![]() |
| process_id/2 | PID is the process id of Process. | ![]() |
| process_kill/1 | Send signal to process PID. | ![]() |
| process_kill/2 | Send signal to process PID. | ![]() |
| process_release/1 | Release process handle. | ![]() |
| process_set_method/1 | Determine how the process is created on Unix systems. | ![]() |
| process_wait/2 | True if PID completed with Status. | ![]() |
| process_wait/3 | True if PID completed with Status. | ![]() |
| process_which/2 | True when Path is an absolute file name for the specification Exe. | ![]() |
rlimit.pl![]() | ||
sha.pl -- SHA secure hashes![]() | ||
| file_sha1/2 | True when SHA1 is the SHA1 hash for the content of File. | ![]() |
| hash_atom/2 | Convert a list of bytes (integers 0..255) into the usual hexadecimal notation. | ![]() |
| hmac_sha/4 | For Options, see sha_hash/3. | ![]() |
| sha_hash/3 | Hash is the SHA hash of Data, The conversion is controlled by Options:. | ![]() |
| sha_hash_ctx/4 | Hash is the SHA hash of Data. | ![]() |
| sha_new_ctx/2 | NewContext is unified with the empty SHA computation context (which includes the Options.) It could later be passed to sha_hash_ctx/4. | ![]() |
socket.pl -- Network socket (TCP and UDP) library![]() | ||
streampool.pl -- Input multiplexing![]() | ||
| 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![]() | ||
| alarm/3 | Set up an alarm to be signaled Time seconds from now. | ![]() |
| alarm/4 | Set up an alarm to be signaled Time seconds from now. | ![]() |
| alarm_at/3 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | ![]() |
| alarm_at/4 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | ![]() |
| call_with_time_limit/2 | Call Goal, while watching out for a (wall-time) limit. | ![]() |
| call_with_time_limit/3 | Call Goal, while watching out for a (wall-time) limit. | ![]() |
| current_alarm/4 | Enumerate the alarms in the schedule. | ![]() |
| install_alarm/1 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | ![]() |
| install_alarm/2 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | ![]() |
| remove_alarm/1 | Remove an alarm. | ![]() |
| uninstall_alarm/1 | De-activate an alarm. | ![]() |
udp_broadcast.pl -- A UDP broadcast proxy![]() | ||
| udp_broadcast_close/1 | Close a UDP broadcast scope. | ![]() |
| udp_broadcast_initialize/2 | Initialized UDP broadcast bridge. | ![]() |
| udp_peer/2 | Manage and query the set of known peers for a unicast network. | ![]() |
| udp_peer_add/2 | Manage and query the set of known peers for a unicast network. | ![]() |
| udp_peer_del/2 | Manage and query the set of known peers for a unicast network. | ![]() |
| udp_term_string_hook/3 | Hook for serializing the message Term. | ![]() |
| udp_unicast_join_hook/3 | This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope. | ![]() |
uid.pl -- User and group management on Unix systems![]() | ||
unix.pl -- Unix specific operations![]() | ||
| 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![]() | ||
