- 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.
- Desouter et 
al., 2015
- 
Benoit Desouter, Marko van Dooren, and Tom Schrijvers. Tabling as a 
library with delimited control.
TPLP, 15(4-5):419--433, 2015.
- Frühwirth,
- 
T. Frühwirth. Thom Fruehwirth's constraint handling rules 
website. http://www.constraint-handling-rules.org.
- Frühwirth, 2009
- 
T. Frühwirth.
Constraint Handling Rules. Cambridge University Press, 2009.
- 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.
- Grosof & 
Swift, 2013
- 
Benjamin Nathan Grosof and Terrance Swift. Radial Restraint : A 
semantically clean approach to bounded rationality for logic programs. 
In Marie desJardins and Michael L. Littman, editors, Proceedings 
of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 
14-18, 2013, Bellevue, Washington, USA. AAAI Press, 2013.
- Hodgson, 1998
- 
Jonathan Hodgson. Validation suite for conformance with part 1 of the 
standard, 1998,
http://www.sju.edu/~jhodgson/pub/suite.tar.gz.
- Holzbaur, 1992
- 
Christian Holzbaur. Metastructures versus attributed variables in the 
context of extensible unification. In PLILP, volume 631, pages 
260--268. Springer-Verlag, 1992. LNCS 631.
- 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.
- Sagonas & 
Swift, 1998
- 
Konstantinos Sagonas and Terrance Swift. An abstract machine for tabled 
execution of fixed-order stratified logic programs.
ACM Trans. Program. Lang. Syst., 20(3):586--634, 1998.
- Sagonas et al., 
2000
- 
Konstantinos Sagonas, Terrance Swift, and David S. Warren. An 
abstract machine for efficiently computing queries to well-founded 
models.
The Journal of Logic Programming, 45(1):1 -- 41, 2000.
- Schimpf, 2002
- 
Joachim Schimpf. Logical loops. In PeterJ. Stuckey, editor, Logic 
Programming, volume 2401 of
Lecture Notes in Computer Science, pages 224--238. Springer 
Berlin Heidelberg, 2002.
- Schrijvers et 
al., 2013
- 
Tom Schrijvers, Bart Demoen, Benoit Desouter, and Jan Wielemaker. 
Delimited continuations for Prolog.
TPLP, 13(4-5):533--546, 2013.
- Sterling & Shapiro, 1986
- 
L. Sterling and E. Shapiro.
The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986.
- Swift, 2014
- 
Terrance Swift. Incremental tabling in support of knowledge 
representation and reasoning.
TPLP, 14(4-5):553--567, 2014.
- Tarau, 
2011
- 
Paul Tarau. Coordination and concurrency in multi-engine Prolog. In 
Wolfgang De Meuter and Gruia-Catalin Roman, editors, Coordination 
Models and Languages - 13th International Conference,
COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011.
Proceedings, volume 6721 of Lecture Notes in Computer Science, 
pages 157--171. Springer, 2011.
- Triska, 2016
- 
Markus Triska. The Boolean constraint solver of SWI-Prolog: System 
description. In FLOPS, volume 9613 of LNCS, pages 
45--61, 2016. https://www.metalevel.at/swiclpb.pdf.
- Wielemaker, 
2013
- 
Jan Wielemaker. Extending the logical update view with transaction 
support.
CoRR, abs/1301.7669, 2013.
- Zhou, 2010
- 
Neng-Fa Zhou. Declarative loops and list comprehensions for Prolog. 
http://www.sci.brooklyn.cuny.edu/ zhou/papers/loops.pdf, Jan 2010.