A Native Prolog Compiler with Constraint Solving over Finite Domains
Edition 1.7, for GNU Prolog version 1.2.19
June 13, 2005
by Daniel Diaz
Copyright (C) 1999-2005 Daniel Diaz
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, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.