portsurvey log for http://gnu-prolog.inria.fr
> http://gnu-prolog.inria.fr/ ok