:- use_module(library(socket)). [nondet,multifile]rewrite_host(+HostIn, 
-HostOut, +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.