- ext
- clib
- socket.pl
- uid.pl
- 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_normalized(+URI, +Base, -NormalizedGlobalURI) is det
- NormalizedGlobalURI is the normalized global version of URI.
Behaves as if defined by:
uri_normalized(URI, Base, NormalizedGlobalURI) :- uri_resolve(URI, Base, GlobalURI), uri_normalized(GlobalURI, NormalizedGlobalURI).