| 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 | ||
| 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_server.pl | ||
| prolog_server/2 | Create a TCP/IP based server on the given Port, so you can telnet into Prolog and run an interactive session. | |
| prolog_stream.pl -- A stream with Prolog callbacks | ||
| rlimit.pl | ||
| sha.pl -- SHA secure hashes | ||
| socket.pl -- Network socket (TCP and UDP) library | ||
| streaminfo.pl | ||
| stream_info/1 | Print detailed information about a stream or a file-number to the error output. | |
| 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 | ||
| debug_print_hook/3 | Integration of debug/3 with the syslog facility. | |
| closelog/0 | Close the system log. | |
| openlog/3 | Open system log. | |
| syslog/2 | Send a message to the system log. | |
| syslog/3 | Send a formatted message to the system log if system logging is opened using openlog/3. | |
| time.pl -- Time and alarm library | ||
| udp_broadcast.pl -- A UDP broadcast proxy | ||
| uid.pl -- User and group management on Unix systems | ||
| unix.pl -- Unix specific operations | ||
| uri.pl | ||
| 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 | ||
| 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. | |