A Native Prolog Compiler with Attributed Variables, Coroutinings and Constraint Solving

Edition 1.7.rh, for GNU Prolog version 1.2.16.rh
Apr 18, 2005
by Daniel Diaz and Rémy Haemmerlé

Copyright (C) 1999-2002 Daniel Diaz ; Copyright (C) 2002-2005 INRIA, Remy Haemmerle

All chapters except 9 and 10 by Daniel Diaz.
Chapters 9 and 10 by Rémy Haemmerlé.

Original version of this document can be downloaded from the GNU Prolog web site.

Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies.

Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.

Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111, USA.

Copyright (C) 1999-2002 Daniel Diaz.

Chapters 9 and 10 : Copyright (C) 2002-2005 INRIA, Rémy Haemmerlé.

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

More about the copyright
This document was translated from LATEX by HEVEA and HACHA.