- 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
- 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
- streampool.pl -- Input multiplexing
- cgi.pl -- Read CGI parameters
- prolog_stream.pl -- A stream with Prolog callbacks
- udp_broadcast.pl -- A UDP broadcast proxy
- rlimit.pl
- clib
- uri_iri(+URI, -IRI) is det
- uri_iri(-URI, +IRI) is det
- Convert between a URI, encoded in US-ASCII and an IRI. An IRI is
a fully expanded Unicode string. Unicode strings are first
encoded into UTF-8, after which %-encoding takes place.
- Errors
- -
syntax_error(Culprit)in mode (+,-) if URI is not a legally percent-encoded UTF-8 string.