cgi.pl -- Read CGI parameters |
|---|
| crypt.pl |
|---|
| filesex.pl -- Extended operations on files |
|---|
| 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 -- Maintain a hash on a stream |
|---|
| mallocinfo.pl -- Memory allocation details |
|---|
| 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 |
|---|
| 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_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 |
|---|
| sched.pl -- Access process scheduling |
|---|
| 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 -- Input multiplexing |
|---|
| 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 |
|---|
| getegid/1 | GID is the effective group ID of the calling process. | |
| geteuid/1 | UID is the effective user ID of the calling process. | |
| getgid/1 | GID is the real group ID of the calling process. | |
| getgroups/1 | GroupsIDs is the set of supplementary group IDs of the calling process. | |
| getuid/1 | UID is the real user ID of the calling process. | |
| group_data/3 | Value is the value for Field GroupData. | |
| group_info/2 | GroupData represent the group information for Group. | |
| initgroups/2 | Initialise the group access list of the calling process to the registered groups for User and the group Group. | |
| set_user_and_group/1 | Set the UID and GID to the User. | |
| set_user_and_group/2 | Set the UID and GID to the User. | |
| setegid/1 | Set the effective group id of the calling process. | |
| seteuid/1 | Set the effective user id of the calling process. | |
| setgid/1 | Set the group id of the calling process. | |
| setgroups/1 | Set the group access list of the caling process to the indicated groups. | |
| setuid/1 | Set the user id of the calling process. | |
| user_data/3 | Value is the value for Field in UserData. | |
| user_info/2 | UserData represent the passwd information for User. | |
| unix.pl -- Unix specific operations |
|---|
| 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 -- Process URIs |
|---|
| uuid.pl -- Universally Unique Identifier (UUID) Library |
|---|
| 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. | |
