Usage:
EncText is url_encode(Text)

Encodes the input string (Text) into the URL format e.g. each symbol which ASCII number is outside the range [A-z0-9_-] is converted ot its hex representation (32 -> %20 - space key)

Text    the input string

This function is typically used in CGI scripts.

Examples:
?- EncText is url_encode("a a"),
    write(EncText). % a%20a