cgi.pl -- Read CGI parameters![Show source Show source](/pldoc/res/source.png) |
crypt.pl![Show source Show source](/pldoc/res/source.png) |
filesex.pl -- Extended operations on files![Show source Show source](/pldoc/res/source.png) |
chmod/2 | Set the mode of the target file. | ![Show source Source](/pldoc/res/source.png) |
copy_directory/2 | Copy the contents of the directory From to To (recursively). | ![Show source Source](/pldoc/res/source.png) |
copy_file/2 | Copy a file into a new file or directory. | ![Show source Source](/pldoc/res/source.png) |
delete_directory_and_contents/1 | Recursively remove the directory Dir and its contents. | ![Show source Source](/pldoc/res/source.png) |
delete_directory_contents/1 | Remove all content from directory Dir, without removing Dir itself. | ![Show source Source](/pldoc/res/source.png) |
directory_file_path/3 | True when Path is the full path-name for File in Dir. | ![Show source Source](/pldoc/res/source.png) |
directory_member/3 | True when Member is a path inside Directory. | ![Show source Source](/pldoc/res/source.png) |
ensure_directory/1 | Ensure the directory Dir exists. | ![Show source Source](/pldoc/res/source.png) |
link_file/3 | Create a link in the filesystem from NewPath to OldPath. | ![Show source Source](/pldoc/res/source.png) |
make_directory_path/1 | Create Dir and all required components (like mkdir -p). | ![Show source Source](/pldoc/res/source.png) |
relative_file_name/3 | True when RelPath is Path, relative to the file RelToFile. | ![Show source Source](/pldoc/res/source.png) |
set_time_file/3 | Query and set POSIX time attributes of a file. | ![Show source Source](/pldoc/res/source.png) |
hash_stream.pl -- Maintain a hash on a stream![Show source Show source](/pldoc/res/source.png) |
mallocinfo.pl -- Memory allocation details![Show source Show source](/pldoc/res/source.png) |
mallinfo/1 | Return the content of the struct mallinfo returned by mallinfo() as a dict. | ![Show source Source](/pldoc/res/source.png) |
malloc_info/1 | Interface to malloc_info() , which provides an XML document describing the status of the GNU glibc malloc implementation. | ![Show source Source](/pldoc/res/source.png) |
md5.pl -- MD5 hashes![Show source Show source](/pldoc/res/source.png) |
md5_hash/3 | Hash is the MD5 hash of Data, The conversion is controlled by Options:. | ![Show source Source](/pldoc/res/source.png) |
memfile.pl![Show source Show source](/pldoc/res/source.png) |
process.pl -- Create processes and redirect I/O![Show source Show source](/pldoc/res/source.png) |
is_process/1 | True if PID might be a process. | ![Show source Source](/pldoc/res/source.png) |
process_create/3 | Create a new process running the file Exe and using arguments from the given list. | ![Show source Source](/pldoc/res/source.png) |
process_group_kill/1 | Send signal to the group containing process PID. | ![Show source Source](/pldoc/res/source.png) |
process_group_kill/2 | Send signal to the group containing process PID. | ![Show source Source](/pldoc/res/source.png) |
process_id/1 | True if PID is the process id of the running Prolog process. | ![Show source Source](/pldoc/res/source.png) |
process_id/2 | PID is the process id of Process. | ![Show source Source](/pldoc/res/source.png) |
process_kill/1 | Send signal to process PID. | ![Show source Source](/pldoc/res/source.png) |
process_kill/2 | Send signal to process PID. | ![Show source Source](/pldoc/res/source.png) |
process_release/1 | Release process handle. | ![Show source Source](/pldoc/res/source.png) |
process_set_method/1 | Determine how the process is created on Unix systems. | ![Show source Source](/pldoc/res/source.png) |
process_wait/2 | True if PID completed with Status. | ![Show source Source](/pldoc/res/source.png) |
process_wait/3 | True if PID completed with Status. | ![Show source Source](/pldoc/res/source.png) |
prolog_stream.pl -- A stream with Prolog callbacks![Show source Show source](/pldoc/res/source.png) |
rlimit.pl![Show source Show source](/pldoc/res/source.png) |
sha.pl -- SHA secure hashes![Show source Show source](/pldoc/res/source.png) |
file_sha1/2 | True when SHA1 is the SHA1 hash for the content of File. | ![Show source Source](/pldoc/res/source.png) |
hash_atom/2 | Convert a list of bytes (integers 0..255) into the usual hexadecimal notation. | ![Show source Source](/pldoc/res/source.png) |
hmac_sha/4 | For Options, see sha_hash/3. | ![Show source Source](/pldoc/res/source.png) |
sha_hash/3 | Hash is the SHA hash of Data, The conversion is controlled by Options:. | ![Show source Source](/pldoc/res/source.png) |
sha_hash_ctx/4 | Hash is the SHA hash of Data. | ![Show source Source](/pldoc/res/source.png) |
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. | ![Show source Source](/pldoc/res/source.png) |
socket.pl -- Network socket (TCP and UDP) library![Show source Show source](/pldoc/res/source.png) |
streampool.pl -- Input multiplexing![Show source Show source](/pldoc/res/source.png) |
close_stream_pool/0 | Close all streams in the pool. | ![Show source Source](/pldoc/res/source.png) |
delete_stream_from_pool/1 | Retract stream from the pool. | ![Show source Source](/pldoc/res/source.png) |
dispatch_stream_pool/1 | Wait for input on one or more streams and handle that. | ![Show source Source](/pldoc/res/source.png) |
stream_pool_main_loop/0 | Keep handling input from the streams in the pool until they have all died away. | ![Show source Source](/pldoc/res/source.png) |
syslog.pl -- Unix syslog interface![Show source Show source](/pldoc/res/source.png) |
time.pl -- Time and alarm library![Show source Show source](/pldoc/res/source.png) |
alarm/3 | Set up an alarm to be signaled Time seconds from now. | ![Show source Source](/pldoc/res/source.png) |
alarm/4 | Set up an alarm to be signaled Time seconds from now. | ![Show source Source](/pldoc/res/source.png) |
alarm_at/3 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | ![Show source Source](/pldoc/res/source.png) |
alarm_at/4 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | ![Show source Source](/pldoc/res/source.png) |
call_with_time_limit/2 | Call Goal, while watching out for a (wall-time) limit. | ![Show source Source](/pldoc/res/source.png) |
call_with_time_limit/3 | Call Goal, while watching out for a (wall-time) limit. | ![Show source Source](/pldoc/res/source.png) |
current_alarm/4 | Enumerate the alarms in the schedule. | ![Show source Source](/pldoc/res/source.png) |
install_alarm/1 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | ![Show source Source](/pldoc/res/source.png) |
install_alarm/2 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | ![Show source Source](/pldoc/res/source.png) |
remove_alarm/1 | Remove an alarm. | ![Show source Source](/pldoc/res/source.png) |
uninstall_alarm/1 | De-activate an alarm. | ![Show source Source](/pldoc/res/source.png) |
udp_broadcast.pl -- A UDP broadcast proxy![Show source Show source](/pldoc/res/source.png) |
udp_broadcast_close/1 | Close a UDP broadcast scope. | ![Show source Source](/pldoc/res/source.png) |
udp_broadcast_initialize/2 | Initialized UDP broadcast bridge. | ![Show source Source](/pldoc/res/source.png) |
udp_peer/2 | Manage and query the set of known peers for a unicast network. | ![Show source Source](/pldoc/res/source.png) |
udp_peer_add/2 | Manage and query the set of known peers for a unicast network. | ![Show source Source](/pldoc/res/source.png) |
udp_peer_del/2 | Manage and query the set of known peers for a unicast network. | ![Show source Source](/pldoc/res/source.png) |
udp_term_string_hook/3 | Hook for serializing the message Term. | ![Show source Source](/pldoc/res/source.png) |
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. | ![Show source Source](/pldoc/res/source.png) |
uid.pl![Show source Show source](/pldoc/res/source.png) |
getegid/1 | GID is the effective group ID of the calling process. | ![Show source Source](/pldoc/res/source.png) |
geteuid/1 | UID is the effective user ID of the calling process. | ![Show source Source](/pldoc/res/source.png) |
getgid/1 | GID is the real group ID of the calling process. | ![Show source Source](/pldoc/res/source.png) |
getgroups/1 | GroupsIDs is the set of supplementary group IDs of the calling process. | ![Show source Source](/pldoc/res/source.png) |
getuid/1 | UID is the real user ID of the calling process. | ![Show source Source](/pldoc/res/source.png) |
group_data/3 | Value is the value for Field GroupData. | ![Show source Source](/pldoc/res/source.png) |
group_info/2 | GroupData represent the group information for Group. | ![Show source Source](/pldoc/res/source.png) |
initgroups/2 | Initialise the group access list of the calling process to the registered groups for User and the group Group. | ![Show source Source](/pldoc/res/source.png) |
set_user_and_group/1 | Set the UID and GID to the User. | ![Show source Source](/pldoc/res/source.png) |
set_user_and_group/2 | Set the UID and GID to the User. | ![Show source Source](/pldoc/res/source.png) |
setegid/1 | Set the effective group id of the calling process. | ![Show source Source](/pldoc/res/source.png) |
seteuid/1 | Set the effective user id of the calling process. | ![Show source Source](/pldoc/res/source.png) |
setgid/1 | Set the group id of the calling process. | ![Show source Source](/pldoc/res/source.png) |
setgroups/1 | Set the group access list of the caling process to the indicated groups. | ![Show source Source](/pldoc/res/source.png) |
setuid/1 | Set the user id of the calling process. | ![Show source Source](/pldoc/res/source.png) |
user_data/3 | Value is the value for Field in UserData. | ![Show source Source](/pldoc/res/source.png) |
user_info/2 | UserData represent the passwd information for User. | ![Show source Source](/pldoc/res/source.png) |
unix.pl![Show source Show source](/pldoc/res/source.png) |
detach_IO/0 | Detach I/O similar to detach_IO/1. | ![Show source Source](/pldoc/res/source.png) |
detach_IO/1 | This predicate is intended to create Unix deamon processes. | ![Show source Source](/pldoc/res/source.png) |
dup/2 | Interface to Unix dup2() , copying the underlying filedescriptor and thus making both streams point to the same underlying object. | ![Show source Source](/pldoc/res/source.png) |
exec/1 | Replace the running program by starting Command. | ![Show source Source](/pldoc/res/source.png) |
fork/1 | Clone the current process into two branches. | ![Show source Source](/pldoc/res/source.png) |
fork_exec/1 | Fork (as fork/1) and exec (using exec/1) the child immediately. | ![Show source Source](/pldoc/res/source.png) |
kill/2 | Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal. | ![Show source Source](/pldoc/res/source.png) |
pipe/2 | Create a communication-pipe. | ![Show source Source](/pldoc/res/source.png) |
prctl/1 | Access to Linux process control operations. | ![Show source Source](/pldoc/res/source.png) |
sysconf/1 | Access system configuration. | ![Show source Source](/pldoc/res/source.png) |
wait/2 | Wait for a child to change status. | ![Show source Source](/pldoc/res/source.png) |
uri.pl -- Process URIs![Show source Show source](/pldoc/res/source.png) |
iri_normalized/2 | NormalizedIRI is the normalized form of IRI. | ![Show source Source](/pldoc/res/source.png) |
iri_normalized/3 | NormalizedGlobalIRI is the normalized global version of IRI. | ![Show source Source](/pldoc/res/source.png) |
uri_authority_components/2 | Break-down the authority component of a URI. | ![Show source Source](/pldoc/res/source.png) |
uri_authority_data/3 | Provide access the uri_authority structure. | ![Show source Source](/pldoc/res/source.png) |
uri_components/2 | Break a URI into its 5 basic components according to the RFC-3986 regular expression:. | ![Show source Source](/pldoc/res/source.png) |
uri_data/3 | Provide access the uri_component structure. | ![Show source Source](/pldoc/res/source.png) |
uri_data/4 | NewComponents is the same as Components with Field set to Data. | ![Show source Source](/pldoc/res/source.png) |
uri_edit/3 | Modify a URI according to Actions. | ![Show source Source](/pldoc/res/source.png) |
uri_encoded/3 | Encoded is the URI encoding for Value. | ![Show source Source](/pldoc/res/source.png) |
uri_file_name/2 | Convert between a URI and a local file_name. | ![Show source Source](/pldoc/res/source.png) |
uri_iri/2 | Convert between a URI, encoded in US-ASCII and an IRI. | ![Show source Source](/pldoc/res/source.png) |
uri_is_global/1 | True if URI has a scheme. | ![Show source Source](/pldoc/res/source.png) |
uri_normalized/2 | NormalizedURI is the normalized form of URI. | ![Show source Source](/pldoc/res/source.png) |
uri_normalized/3 | NormalizedGlobalURI is the normalized global version of URI. | ![Show source Source](/pldoc/res/source.png) |
uri_normalized_iri/2 | As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters. | ![Show source Source](/pldoc/res/source.png) |
uri_normalized_iri/3 | NormalizedGlobalIRI is the normalized global IRI of URI. | ![Show source Source](/pldoc/res/source.png) |
uri_query_components/2 | Perform encoding and decoding of an URI query string. | ![Show source Source](/pldoc/res/source.png) |
uri_resolve/3 | Resolve a possibly local URI relative to Base. | ![Show source Source](/pldoc/res/source.png) |
uuid.pl -- Universally Unique Identifier (UUID) Library![Show source Show source](/pldoc/res/source.png) |
uuid/1 | UUID is an atom representing a new UUID. | ![Show source Source](/pldoc/res/source.png) |
uuid/2 | Create a new UUID according to Options. | ![Show source Source](/pldoc/res/source.png) |
uuid_property/2 | True when UUID is a property of the given UUID. | ![Show source Source](/pldoc/res/source.png) |