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. |  | 
| prolog_stream.pl  -- A stream with Prolog callbacks  | ||
| 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  | ||
| uri.pl  -- Process URIs  | ||
| iri_normalized/2 | NormalizedIRI is the normalized form of IRI. |  | 
| iri_normalized/3 | NormalizedGlobalIRI is the normalized global version of IRI. |  | 
| uri_authority_components/2 | Break-down the authority component of a URI. |  | 
| uri_authority_data/3 | Provide access the uri_authority structure. |  | 
| uri_components/2 | Break a URI into its 5 basic components according to the RFC-3986 regular expression:. |  | 
| uri_data/3 | Provide access the uri_component structure. |  | 
| uri_data/4 | NewComponents is the same as Components with Field set to Data. |  | 
| uri_edit/3 | Modify a URI according to Actions. |  | 
| uri_encoded/3 | Encoded is the URI encoding for Value. |  | 
| uri_file_name/2 | Convert between a URI and a local file_name. |  | 
| uri_iri/2 | Convert between a URI, encoded in US-ASCII and an IRI. |  | 
| uri_is_global/1 | True if URI has a scheme. |  | 
| uri_normalized/2 | NormalizedURI is the normalized form of URI. |  | 
| uri_normalized/3 | NormalizedGlobalURI is the normalized global version of URI. |  | 
| uri_normalized_iri/2 | As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters. |  | 
| uri_normalized_iri/3 | NormalizedGlobalIRI is the normalized global IRI of URI. |  | 
| uri_query_components/2 | Perform encoding and decoding of an URI query string. |  | 
| uri_resolve/3 | Resolve a possibly local URI relative to Base. |  | 
| uuid.pl  -- Universally Unique Identifier (UUID) Library  | ||
| is_uuid/1 | True when UUID is a UUID represented as an atom. |  | 
| uuid/1 | UUID is an atom representing a new UUID. |  | 
| uuid/2 | Create a new UUID according to Options. |  | 
| uuid_property/2 | True when UUID is a property of the given UUID. |  |