|Did you know ...||Search Documentation:|
:- use_module(library(uri)).(can be autoloaded)
[ip], returning the ip as
host, without the enclosing
. When constructing an authority string and the host contains
:, the host is embraced in
is not used correctly, the behavior should be considered poorly defined. If there is no balancing‘]` or the host part does not end with‘]`, these characters are considered normal characters and part of the (invalid) host name.