Availability:
:- use_module(library(socket)).
[nondet,multifile]rewrite_host(+HostIn,
-HostOut, +Socket)
This hook is currently defined in Windows to map localhost
to
ip(127,0,0,1) as resolving localhost on
Windows is often very slow. Note that we do not want to do that in
general as a system may prefer to map localhost to‘::1`,
i.e., the IPv6 loopback address.