Hi.
In its socket library, Sicstus supports a useful predicate:
hostname_address(+Host,-IPNum)which returns the IP number for a given hostname, as in
| ?- hostname_address('trestle.ai.sri.com', X) X = '130.107.64.111'
It has been added. The address
http://www.clip.dia.fi.upm.es/Software/Ciao
has a new distribution. The changes will propagate to http://cs.nmsu.edu/~clip/Software/Ciao tonight (Spanish time).
Best,
MCL
________________________________________________________________ [...] put Windows back into its place as an overpriced Nintendo.