cgi.pl -- Read CGI parameters![]() | ||
|---|---|---|
crypt.pl![]() | ||
filesex.pl -- Extended operations on files![]() | ||
hash_stream.pl -- Maintain a hash on a stream![]() | ||
mallocinfo.pl![]() | ||
| mallinfo/1 | Return the content of the struct mallinfo returned by mallinfo() as a dict. | ![]() |
| malloc_info/1 | Interface to malloc_info(), which provides an XML document describing the status of the GNU glibc malloc implementation. | ![]() |
md5.pl -- MD5 hashes![]() | ||
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 -- Network socket (TCP and UDP) library![]() | ||
syslog.pl -- Unix syslog interface![]() | ||
time.pl -- Time and alarm library![]() | ||
uid.pl -- User and group management on Unix systems![]() | ||
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![]() | ||
| 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. | ![]() |