Home Contents Index Previous Next

E Bibliography

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 Prolog release 2.4. Everberg, Belgium, 1989.

Bowen & Byrd, 1983
D. L. Bowen and L. M. Byrd. A portable Prolog compiler. In L. M. Pereira, editor, Proceedings of the Login 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.

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.

O'Keefe, 1990
R. A. O'Keefe. The Craft of Prolog. MIT Press, Massachussetts, 1990.

Pereira, 1986
F. Pereira. C-Prolog User's Manual, 1986.

Qui, 1997
Quintus Prolog, User Guide and Reference Manual. Berkhamsted, UK, 1997.

Sterling & Shapiro, 1986
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986.