- ext
- clib
- socket.pl -- Network socket (TCP and UDP) library
- uid.pl -- User and group management on Unix systems
- unix.pl -- Unix specific operations
- syslog.pl -- Unix syslog interface
- filesex.pl -- Extended operations on files
- uri.pl -- Process URIs
- uri_components/2
- uri_data/3
- uri_data/4
- uri_normalized/2
- iri_normalized/2
- uri_normalized_iri/2
- uri_is_global/1
- uri_resolve/3
- uri_normalized/3
- iri_normalized/3
- uri_normalized_iri/3
- uri_query_components/2
- uri_authority_components/2
- uri_authority_data/3
- uri_encoded/3
- uri_iri/2
- uri_file_name/2
- uri_edit/3
- process.pl -- Create processes and redirect I/O
- time.pl -- Time and alarm library
- sha.pl -- SHA secure hashes
- crypt.pl
- memfile.pl
- uuid.pl -- Universally Unique Identifier (UUID) Library
- hash_stream.pl -- Maintain a hash on a stream
- md5.pl -- MD5 hashes
- udp_broadcast.pl -- A UDP broadcast proxy
- streampool.pl -- Input multiplexing
- cgi.pl -- Read CGI parameters
- prolog_stream.pl -- A stream with Prolog callbacks
- rlimit.pl
- clib
- uri_file_name(+URI, -FileName) is semidet
- uri_file_name(-URI, +FileName) is det
- Convert between a URI and a local file_name. This protocol is covered by RFC 1738. Please note that file-URIs use absolute paths. The mode (-, +) translates a possible relative path into an absolute one.