1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<TITLE>GNU-Prolog Manual</TITLE>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="gprolog.css">
</HEAD>
<BODY TEXT=black BGCOLOR=white>
<!--HEVEA command line is: hevea -O -s -exec xxdate.exe -fix custom.hva gprolog.tex -o gprolog.html -->
<!--HACHA command line is: hacha -hrf -tocbis ../gprolog.html -->
<BR>
<BR>
<DIV CLASS="center"><TABLE CELLPADDING=10>
<TR><TD BGCOLOR="#00CC00"><DIV CLASS="center">
<FONT SIZE=6><B>GNU PROLOG</B></FONT>
<HR SIZE=2><BR>
<BR>
<FONT SIZE=5>A Native Prolog Compiler with Constraint Solving over Finite Domains<BR>
<BR>
Edition 1.8, for GNU Prolog version 1.3.0<BR>
5th January, 2007</FONT>
<FONT SIZE=5><B>by <A HREF="http://pauillac.inria.fr/~diaz">Daniel Diaz</A></B></FONT><BR>
<BR>
<HR SIZE=2>
</DIV></TD>
</TR></TABLE></DIV><BR>
<BR>
<BR>
<BR>
<A NAME="copyright"></A>
Copyright (C) 1999-2007 Daniel Diaz
<BR>
<BR>
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.<BR>
<BR>
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.<BR>
<BR>
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
<A HREF="http://www.fsf.org/">Free Software Foundation</A>, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.<BR>
<BR>
<HR SIZE=2><BR>
<BR>
<UL>
<LI><A HREF="gprolog001.html">Contents</A>
<LI><A HREF="gprolog002.html">Acknowledgements</A>
<LI><A HREF="gprolog003.html">Introduction</A>
<LI><A HREF="gprolog004.html">Using GNU Prolog</A>
<LI><A HREF="gprolog009.html">Debugging</A>
<LI><A HREF="gprolog016.html">Format of definitions</A>
<LI><A HREF="gprolog020.html">Prolog directives and control constructs</A>
<LI><A HREF="gprolog023.html">Prolog built-in predicates</A>
<LI><A HREF="gprolog054.html">Finite domain solver and built-in predicates</A>
<LI><A HREF="gprolog065.html">Interfacing Prolog and C</A>
<LI><A HREF="gprolog071.html">References</A>
<LI><A HREF="gprolog-idx.html">Index</A>
</UL>
<HR SIZE=2>
Copyright (C) 1999-2007 Daniel Diaz
<BR>
<BR>
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. <BR>
<BR>
<A HREF="index.html#copyright">More about the copyright</A>
<!--FOOTER-->
<HR SIZE=2><BLOCKQUOTE CLASS="quote"><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
<A HREF="http://pauillac.inria.fr/~maranget/hevea/index.html">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A</A>.</EM></BLOCKQUOTE></BODY>
</HTML>
|
