clib

Prolog files

crypt.plShow source
desktop.pl  -- Interact with the desktop environmentShow source
filesex.pl  -- Extended operations on filesShow 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
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
streampool.pl  -- Input multiplexingShow 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.pl  -- A UDP broadcast proxyShow 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.plShow 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_components or urn_components 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