- Anjewierden & Wielemaker, 1989
-
A. Anjewierden and J. Wielemaker. Extensible objects. ESPRIT
Project 1098 Technical Report UvA-C1-TR-006a, University of Amsterdam,
March 1989.
- BIM, 1989
-
BIM sa/nv, Everberg, Belgium.
BIM Prolog release 2.4, 1989.
- Bowen et al., 1983
-
D. L. Bowen, L. M. Byrd, and WF. Clocksin. A portable Prolog
compiler. In L. M. Pereira, editor, Proceedings of the Logic
Programming Workshop 1983, Lisabon, Portugal, 1983. Universidade
nova de Lisboa.
- Bratko, 1986
-
I. Bratko.
Prolog Programming for Artificial Intelligence. Addison-Wesley,
Reading, Massachusetts, 1986.
- Butenhof, 1997
-
David R. Butenhof.
Programming with POSIX threads. Ad d i s on-Wes l ey, Reading,
MA, USA, 1997.
- Byrd, 1980
-
L. Byrd. Understanding the control flow of Prolog programs.
Logic Programming Workshop, 1980.
- Clocksin & Melish, 1987
-
W. F. Clocksin and C. S. Melish.
Programming in Prolog. Springer-Verlag, New York, Third, Revised
and Extended edition, 1987.
- Demoen, 2002
-
Bart Demoen.
Dynamic attributes, their hProlog implementation, and a first
evaluation. Report CW 350, Department of Computer Science, K.U.Leuven,
Leuven, Belgium, oct 2002. URL =
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html.
- Deransart et al., 1996
-
P. Deransart, A. Ed-Dbali, and L. Cervoni.
Prolog: The Standard. Springer-Verlag, New York, 1996.
- Frühwirth,
-
T. Frühwirth. Thom Fruehwirth's constraint handling rules
website.
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html.
- Frühwirth, 1998
-
T. Frühwirth. Theory and Practice of Constraint Handling Rules
. In P. Stuckey and K. Marriot, editors, Special Issue on
Constraint Logic Programming, volume 37, October 1998.
- Graham et al., 1982
-
Susan L. Graham, Peter B. Kessler, and Marshall K.
McKusick. gprof: a call graph execution profiler. In SIGPLAN
Symposium on Compiler Construction, pages 120--126, 1982.
- Hodgson, 1998
-
Jonathan Hodgson. validation suite for conformance with part 1 of the
standard, 1998,
http://www.sju.edu/{\tt\string~}jhodgson/pub/suite.tar.gz.
- Holzbaur, 1990
-
Christian Holzbaur. Realization of forward checking in logic programming
through extended unification. Report TR-90-11, Oesterreichisches
Forschungsinstitut fuer Artificial Intelligence, Wien, Austria, 1990.
- Kernighan & Ritchie, 1978
-
B. W. Kernighan and D. M. Ritchie.
The C Programming Language. Prentice-Hall, Englewood Cliffs,
New Jersey, 1978.
- Neumerkel, 1993
-
Ulrich Neumerkel. The binary WAM, a simplified Prolog engine. Technical
report, Technische Universität Wien , 1993.
http://www.complang.tuwien.ac.at/ulrich/papers/PDF/binwam-nov93.pdf.
- O'Keefe, 1990
-
R. A. O'Keefe.
The Craft of Prolog. MIT Press, Massachussetts, 1990.
- Pereira, 1986
-
F. Pereira.
C-Prolog User's Manual. EdCaad, University of Edinburgh, 1986.
- Qui, 1997
-
AI International ltd., Berkhamsted, UK.
Quintus Prolog, User Guide and Reference Manual, 1997.
- Sterling & Shapiro, 1986
-
L. Sterling and E. Shapiro.
The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986.
