1  Acknowledgements

I would like to thank the department of computing science at the university of Paris 1 for allowing me the time and freedom necessary to achieve this project.

I am grateful to the members of the Loco project at INRIA Rocquencourt for their encouragement. Their involvement in this work led to useful feedback and exchange.

I would particularly like to thank Jonathan Hodgson for the time and effort he put into the proofreading of this manual. His suggestions, both regarding ISO technical aspects as well as the language in which it was expressed, proved invaluable.

The on-line HTML version of this document was created using H^EV^EA developed by Luc Maranget who kindly devoted so much of his time extending the capabilities of H^EV^EA in order to handle such a sizeable manual.

Jean-Christophe Aude kindly improved the visual aspect of both the illustrations and the GNU Prolog web pages.

Thanks to Richard A. O’Keefe for his advice regarding the implementation of some Prolog built-in predicates and for suggesting me the in-place installation feature.

Many thanks to the following contributors:

• Alexander Diemand for his initial port to alpha/linux.
• Clive Cox and Edmund Grimley Evans for their port to ix86/SCO.
• Nicolas Ollinger to for his port to ix86/FreeBSD.
• Brook Milligan for his port to ix86/NetBSD and for general configuration improvements.
• Andreas Stolcke for his port to ix86/Solaris.
• Lindsey Spratt for his port to powerpc/Darwin (MacOS X).
• Gwenolé Beauchesne for his port to x86_64/Linux.
• Jason Beegan for his port to sparc/NetBSD and to powerpc/NetBSD.
• Cesar Rabak for his initial port to ix86/MinGW.

Many thanks to all those people at GNU who helped me to finalize the GNU Prolog project.

Finally, I would like to thank everybody who tested preliminary releases and helped me to put the finishing touches to this system.