This file is indexed.

/usr/share/doc/gprolog-doc/gprolog.html/gprolog071.html is in gprolog-doc 1.3.0-6.1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>

<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<LINK rel="stylesheet" type="text/css" href="gprolog.css">
<TITLE>References</TITLE>
</HEAD>
<BODY TEXT=black BGCOLOR=white>
<A HREF="gprolog065.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="gprolog-idx.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
<HR>
<H2 CLASS="section"><A NAME="@biblio">References</A></H2><DL CLASS="thebibliography"><DT CLASS="dt-thebibliography">
<A NAME="Ait-Kaci91"><FONT COLOR=purple>[1]</FONT></A></DT><DD CLASS="dd-thebibliography"> H. A&#XEF;t-Kaci.
&#X201C;Warren&#X2019;s Abstract Machine, A Tutorial Reconstruction&#X201D;.<BR>
Logic Programming Series, MIT Press, 1991.<BR>
<TT><A HREF="http://www.vanx.org/archive/wam/wam.html">http://www.vanx.org/archive/wam/wam.html</A></TT></DD><DT CLASS="dt-thebibliography"><A NAME="Clock"><FONT COLOR=purple>[2]</FONT></A></DT><DD CLASS="dd-thebibliography"> W.F. Clocksin and C.S. Mellish.
Programming in Prolog, Springer-Verlag, 1981.</DD><DT CLASS="dt-thebibliography"><A NAME="wamcc"><FONT COLOR=purple>[3]</FONT></A></DT><DD CLASS="dd-thebibliography"> P. Codognet and D. Diaz.
&#X201C;<TT>wamcc</TT>: Compiling Prolog to C&#X201D;.<BR>
In <EM>12th International Conference on Logic Programming</EM>,
Tokyo, Japan, MIT Press, 1995.<BR>
<TT><A HREF="ftp://ftp.inria.fr/INRIA/Projects/loco/publications/WAMCC/iclp95.pdf">ftp://ftp.inria.fr/INRIA/Projects/loco/publications/WAMCC/iclp95.pdf</A></TT></DD><DT CLASS="dt-thebibliography"><A NAME="long-clp-fd"><FONT COLOR=purple>[4]</FONT></A></DT><DD CLASS="dd-thebibliography"> P. Codognet and D. Diaz.
&#X201C;Compiling Constraint in <TT>clp(FD)</TT>&#X201D;.<BR>
<EM>Journal of Logic Programming</EM>, Vol. 27, No. 3, June 1996.<BR>
<TT><A HREF="ftp://ftp.inria.fr/INRIA/Projects/loco/publications/CLP-FD/jlp96.pdf">ftp://ftp.inria.fr/INRIA/Projects/loco/publications/CLP-FD/jlp96.pdf</A></TT></DD><DT CLASS="dt-thebibliography"><A NAME="gnu-prolog"><FONT COLOR=purple>[5]</FONT></A></DT><DD CLASS="dd-thebibliography"> D. Diaz and P. Codognet. 
&#X201C;Design and Implementation of the GNU Prolog System&#X201D;.<BR>
<EM>Journal of Functional and Logic Programming</EM>, Vol. 2001, No. 6, October 2001.<BR>
<TT><A HREF="ftp://ftp.inria.fr/INRIA/Projects/loco/publications/GNU-PROLOG/jflp01.pdf">ftp://ftp.inria.fr/INRIA/Projects/loco/publications/GNU-PROLOG/jflp01.pdf</A></TT></DD><DT CLASS="dt-thebibliography"><A NAME="iso-part1"><FONT COLOR=purple>[6]</FONT></A></DT><DD CLASS="dd-thebibliography">
Information technology - Programming languages - Prolog - Part 1:
General Core.<BR>
ISO/IEC 13211-1, 1995.
</DD><DT CLASS="dt-thebibliography"><A NAME="Jaffar-Lassez87"><FONT COLOR=purple>[7]</FONT></A></DT><DD CLASS="dd-thebibliography"> J. Jaffar and J-L. Lassez.
&#X201C;Constraint Logic Programming&#X201D;.<BR>
In <EM>Principles Of Programming Languages</EM>,
Munich, Germany, January 1987. </DD><DT CLASS="dt-thebibliography"><A NAME="pvh89"><FONT COLOR=purple>[8]</FONT></A></DT><DD CLASS="dd-thebibliography"> P. Van Hentenryck.
&#X201C;Constraint Satisfaction in Logic Programming&#X201D;.<BR>
Logic Programming Series, The MIT Press, 1989.</DD><DT CLASS="dt-thebibliography"><A NAME="Warren83"><FONT COLOR=purple>[9]</FONT></A></DT><DD CLASS="dd-thebibliography"> D. H. D. Warren.
&#X201C;An Abstract Prolog Instruction Set&#X201D;.<BR>
Technical Report 309, SRI International, Oct. 1983.</DD></DL>
<HR SIZE=2>
Copyright (C) 1999-2007 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. <A HREF="index.html#copyright">More about the copyright</A>
<HR>
<A HREF="gprolog065.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="gprolog-idx.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>