- 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.
