clib

Prolog files

cgi.pl  -- Read CGI parametersShow source
crypt.plShow source
desktop.plShow source
desktop_open/1Open Document using the application the desktop associates with it, e.g., a PDF viewer for a `.pdf` file or a file browser if Document is a directory.Source
desktop_open/2Open Document using the application the desktop associates with it, e.g., a PDF viewer for a `.pdf` file or a file browser if Document is a directory.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.plShow source
mallocinfo.pl  -- Memory allocation detailsShow source
md5.pl  -- MD5 hashesShow source
memfile.plShow source
process.pl  -- Create processes and redirect I/OShow source
prolog_server.plShow source
prolog_stream.pl  -- A stream with Prolog callbacksShow source
rlimit.plShow source
sha.pl  -- SHA secure hashesShow source
socket.pl  -- Network socket (TCP and UDP) libraryShow source
streaminfo.plShow source
stream_info/1Print detailed information about a stream or a file-number to the error output.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
syslog.pl  -- Unix syslog interfaceShow source
time.plShow source
alarm/3Set up an alarm to be signaled Time seconds from now.Source
alarm/4Set up an alarm to be signaled Time seconds from now.Source
alarm_at/3As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.Source
alarm_at/4As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.Source
call_with_time_limit/2Call Goal, while watching out for a (wall-time) limit.Source
call_with_time_limit/3Call Goal, while watching out for a (wall-time) limit.Source
current_alarm/4Enumerate the alarms in the schedule.Source
install_alarm/1Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.Source
install_alarm/2Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.Source
remove_alarm/1Remove an alarm.Source
uninstall_alarm/1De-activate an alarm.Source
udp_broadcast.pl  -- A UDP broadcast proxyShow source
uid.pl  -- User and group management on Unix systemsShow source
unix.pl  -- Unix specific operationsShow source
uri.pl  -- Process URIsShow source
uuid.pl  -- Universally Unique Identifier (UUID) LibraryShow source