clib

Prolog files

cgi.pl  -- Read CGI parametersShow source
crypt.plShow source
filesex.plShow source
chmod/2Set the mode of the target file.Source
copy_directory/2Copy the contents of the directory From to To (recursively).Source
copy_file/2Copy a file into a new file or directory.Source
delete_directory_and_contents/1Recursively remove the directory Dir and its contents.Source
delete_directory_contents/1Remove all content from directory Dir, without removing Dir itself.Source
directory_file_path/3True when Path is the full path-name for File in Dir.Source
directory_member/3True when Member is a path inside Directory.Source
ensure_directory/1Ensure the directory Dir exists.Source
link_file/3Create a link in the filesystem from NewPath to OldPath.Source
make_directory_path/1Create Dir and all required components (like mkdir -p).Source
relative_file_name/3True when RelPath is Path, relative to the file RelToFile.Source
set_time_file/3Query and set POSIX time attributes of a file.Source
hash_stream.pl  -- Maintain a hash on a streamShow source
mallocinfo.plShow source
mallinfo/1Return the content of the struct mallinfo returned by mallinfo() as a dict.Source
malloc_info/1Interface to malloc_info(), which provides an XML document describing the status of the GNU glibc malloc implementation.Source
md5.pl  -- MD5 hashesShow source
memfile.plShow source
process.pl  -- Create processes and redirect I/OShow source
rlimit.plShow source
sha.pl  -- SHA secure hashesShow source
socket.pl  -- Network socket (TCP and UDP) libraryShow source
streampool.plShow source
close_stream_pool/0Close all streams in the pool.Source
delete_stream_from_pool/1Retract stream from the pool.Source
dispatch_stream_pool/1Wait for input on one or more streams and handle that.Source
stream_pool_main_loop/0Keep handling input from the streams in the pool until they have all died away.Source
syslog.pl  -- Unix syslog interfaceShow source
time.pl  -- Time and alarm libraryShow source
uid.plShow source
getegid/1GID is the effective group ID of the calling process.Source
geteuid/1UID is the effective user ID of the calling process.Source
getgid/1GID is the real group ID of the calling process.Source
getgroups/1GroupsIDs is the set of supplementary group IDs of the calling process.Source
getuid/1UID is the real user ID of the calling process.Source
group_data/3Value is the value for Field GroupData.Source
group_info/2GroupData represent the group information for Group.Source
initgroups/2Initialise the group access list of the calling process to the registered groups for User and the group Group.Source
set_user_and_group/1Set the UID and GID to the User.Source
set_user_and_group/2Set the UID and GID to the User.Source
setegid/1Set the effective group id of the calling process.Source
seteuid/1Set the effective user id of the calling process.Source
setgid/1Set the group id of the calling process.Source
setgroups/1Set the group access list of the caling process to the indicated groups.Source
setuid/1Set the user id of the calling process.Source
user_data/3Value is the value for Field in UserData.Source
user_info/2UserData represent the passwd information for User.Source
unix.plShow source
detach_IO/0Detach I/O similar to detach_IO/1.Source
detach_IO/1This predicate is intended to create Unix deamon processes.Source
dup/2Interface to Unix dup2(), copying the underlying filedescriptor and thus making both streams point to the same underlying object.Source
exec/1Replace the running program by starting Command.Source
fork/1Clone the current process into two branches.Source
fork_exec/1Fork (as fork/1) and exec (using exec/1) the child immediately.Source
kill/2Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal.Source
pipe/2Create a communication-pipe.Source
prctl/1Access to Linux process control operations.Source
sysconf/1Access system configuration.Source
wait/2Wait for a child to change status.Source
uri.pl  -- Process URIsShow source
uuid.pl  -- Universally Unique Identifier (UUID) LibraryShow source