filesex.pl![]() | ||
|---|---|---|
| chmod/2 | Set the mode of the target file. | ![]() |
| copy_directory/2 | Copy the contents of the directory From to To (recursively). | ![]() |
| copy_file/2 | Copy a file into a new file or directory. | ![]() |
| delete_directory_and_contents/1 | Recursively remove the directory Dir and its contents. | ![]() |
| delete_directory_contents/1 | Remove all content from directory Dir, without removing Dir itself. | ![]() |
| directory_file_path/3 | True when Path is the full path-name for File in Dir. | ![]() |
| directory_member/3 | True when Member is a path inside Directory. | ![]() |
| ensure_directory/1 | Ensure the directory Dir exists. | ![]() |
| link_file/3 | Create a link in the filesystem from NewPath to OldPath. | ![]() |
| make_directory_path/1 | Create Dir and all required components (like mkdir -p). | ![]() |
| relative_file_name/3 | True when RelPath is Path, relative to the file RelToFile. | ![]() |
| set_time_file/3 | Query and set POSIX time attributes of a file. | ![]() |
hash_stream.pl![]() | ||
mallocinfo.pl -- Memory allocation details![]() | ||
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![]() | ||
streampool.pl -- Input multiplexing![]() | ||
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![]() | ||
| 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![]() | ||
| 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. | ![]() |