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 HEVEA developed by Luc Maranget who kindly devoted so much of his time extending the capabilities of HEVEA 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:
Many thanks to Paulo Moura for his continuous help (in particular about Darwin ports) and for including GNU Prolog in his logtalk system.
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.