/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ït-Kaci.
“Warren’s Abstract Machine, A Tutorial Reconstruction”.<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.
“<TT>wamcc</TT>: Compiling Prolog to C”.<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.
“Compiling Constraint in <TT>clp(FD)</TT>”.<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.
“Design and Implementation of the GNU Prolog System”.<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.
“Constraint Logic Programming”.<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.
“Constraint Satisfaction in Logic Programming”.<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.
“An Abstract Prolog Instruction Set”.<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>
|