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.plShow source
md5_hash/3Hash is the MD5 hash of Data, The conversion is controlled by Options:.Source
memfile.plShow source
process.pl  -- Create processes and redirect I/OShow source
prolog_server.plShow source
prolog_server/2Create a TCP/IP based server on the given Port, so you can telnet into Prolog and run an interactive session.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
stream_pool_main_loop/0Keep handling input from the streams in the pool until they have all died away.Source
syslog.plShow source
debug_print_hook/3Integration of debug/3 with the syslog facility.Source
closelog/0Close the system log.Source
openlog/3Open system log.Source
syslog/2Send a message to the system log.Source
syslog/3Send a formatted message to the system log if system logging is opened using openlog/3.Source
time.pl  -- Time and alarm libraryShow source
udp_broadcast.plShow source
udp_broadcast_close/1Close a UDP broadcast scope.Source
udp_broadcast_initialize/2Initialized UDP broadcast bridge.Source
udp_peer/2Manage and query the set of known peers for a unicast network.Source
udp_peer_add/2Manage and query the set of known peers for a unicast network.Source
udp_peer_del/2Manage and query the set of known peers for a unicast network.Source
udp_term_string_hook/3Hook for serializing the message Term.Source
udp_unicast_join_hook/3This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope.Source
uid.pl  -- User and group management on Unix systemsShow 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.plShow source
is_uuid/1True when UUID is a UUID represented as an atom.Source
uuid/1UUID is an atom representing a new UUID.Source
uuid/2Create a new UUID according to Options.Source
uuid_property/2True when UUID is a property of the given UUID.Source