clib

Prolog files

cgi.pl  -- Read CGI parametersShow source
crypt.plShow source
filesex.pl  -- Extended operations on filesShow 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
md5.pl  -- MD5 hashesShow 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
is_process/1True if PID might be a process.Source
process_create/3Create a new process running the file Exe and using arguments from the given list.Source
process_group_kill/1Send signal to the group containing process PID.Source
process_group_kill/2Send signal to the group containing process PID.Source
process_id/1True if PID is the process id of the running Prolog process.Source
process_id/2PID is the process id of Process.Source
process_kill/1Send signal to process PID.Source
process_kill/2Send signal to process PID.Source
process_release/1Release process handle.Source
process_set_method/1Determine how the process is created on Unix systems.Source
process_wait/2True if PID completed with Status.Source
process_wait/3True if PID completed with Status.Source
process_which/2True when Path is an absolute file name for the specification Exe.Source
prolog_stream.pl  -- A stream with Prolog callbacksShow source
rlimit.plShow source
sha.pl  -- SHA secure hashesShow source
file_sha1/2True when SHA1 is the SHA1 hash for the content of File.Source
hash_atom/2Convert a list of bytes (integers 0..255) into the usual hexadecimal notation.Source
hmac_sha/4For Options, see sha_hash/3.Source
sha_hash/3Hash is the SHA hash of Data, The conversion is controlled by Options:.Source
sha_hash_ctx/4Hash is the SHA hash of Data.Source
sha_new_ctx/2NewContext is unified with the empty SHA computation context (which includes the Options.) It could later be passed to sha_hash_ctx/4.Source
socket.pl  -- Network socket (TCP and UDP) libraryShow source
gethostname/1Return the canonical fully qualified name of this host.Source
host_address/3Translate between a machines host-name and it's (IP-)address.Source
ip_name/2Translate between the textual representation of an IP address and the Prolog data structure.Source
negotiate_socks_connection/2Negotiate a connection to DesiredEndpoint over StreamPair.Source
proxy_for_url/3This hook can be implemented to return a proxy to try when connecting to URL.Source
rewrite_host/3Allow rewriting the host for tcp_connect/2 and therefore all other predicates to connect a socket.Source
socket_create/2Create a socket according to Options.Source
tcp_accept/3This predicate waits on a server socket for a connection request by a client.Source
tcp_bind/2Bind the socket to Address on the current machine.Source
tcp_close_socket/1Closes the indicated socket, making SocketId invalid.Source
tcp_connect/2Connect SocketId.Source
tcp_connect/3Establish a TCP communication as a client.Source
tcp_connect/4Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write.Source
tcp_fcntl/3Interface to the fcntl() call.Source
tcp_getopt/2Get information about Socket.Source
tcp_host_to_address/2Translate between a machines host-name and it's (IP-)address.Source
tcp_listen/2Tells, after tcp_bind/2, the socket to listen for incoming requests for connections.Source
tcp_open_socket/2Create streams to communicate to SocketId.Source
tcp_open_socket/3Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair.Source
tcp_select/3Same as the built-in wait_for_input/3.Source
tcp_setopt/2Set options on the socket.Source
tcp_socket/1Equivalent to socket_create(SocketId, []) or, explicit, socket_create(SocketId, [domain(inet), type(stream)]).Source
try_proxy/4Attempt a socket-level connection via the given proxy to TargetAddress.Source
udp_receive/4Wait for and return the next datagram.Source
udp_send/4Send a UDP message.Source
udp_socket/1Equivalent to socket_create(SocketId, [type(dgram)]) or, explicit, socket_create(SocketId, [domain(inet), type(dgram)]).Source
unix_domain_socket/1Equivalent to socket_create(SocketId, [domain(unix)]) or, explicit, socket_create(SocketId, [domain(unix), type(stream)]).Source
streampool.pl  -- Input multiplexingShow 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
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
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.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.pl  -- Unix specific operationsShow 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
iri_normalized/2NormalizedIRI is the normalized form of IRI.Source
iri_normalized/3NormalizedGlobalIRI is the normalized global version of IRI.Source
uri_authority_components/2Break-down the authority component of a URI.Source
uri_authority_data/3Provide access the uri_authority structure.Source
uri_components/2Break a URI into its 5 basic components according to the RFC-3986 regular expression:.Source
uri_data/3Provide access the uri_component structure.Source
uri_data/4NewComponents is the same as Components with Field set to Data.Source
uri_edit/3Modify a URI according to Actions.Source
uri_encoded/3Encoded is the URI encoding for Value.Source
uri_file_name/2Convert between a URI and a local file_name.Source
uri_iri/2Convert between a URI, encoded in US-ASCII and an IRI.Source
uri_is_global/1True if URI has a scheme.Source
uri_normalized/2NormalizedURI is the normalized form of URI.Source
uri_normalized/3NormalizedGlobalURI is the normalized global version of URI.Source
uri_normalized_iri/2As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters.Source
uri_normalized_iri/3NormalizedGlobalIRI is the normalized global IRI of URI.Source
uri_query_components/2Perform encoding and decoding of an URI query string.Source
uri_resolve/3Resolve a possibly local URI relative to Base.Source
uuid.pl  -- Universally Unique Identifier (UUID) LibraryShow 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