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
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 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.
Copyright (C) 1999-2007 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved.
More about the copyright