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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
|
\begin{thebibliography}{Kernighan \& Ritchie, 1978}
\bibitem[Bowen {\em et al.}, 1983]{Bowen:83}
D.~L. Bowen, L.~M. Byrd, and WF. Clocksin.
\newblock A portable {Prolog} compiler.
\newblock In L.~M. Pereira, editor, {\em Proceedings of the Logic Programming
Workshop 1983}, Lisabon, Portugal, 1983. Universidade nova de Lisboa.
\bibitem[Bratko, 1986]{Bratko:86}
I.~Bratko.
\newblock {\em {Prolog} Programming for Artificial Intelligence}.
\newblock Addison-Wesley, Reading, Massachusetts, 1986.
\bibitem[Butenhof, 1997]{Butenhof:1997:PPT}
David~R. Butenhof.
\newblock {\em Programming with {POSIX} threads}.
\newblock Ad{\-d}i{\-s}on-Wes{\-l}ey, Reading, MA, USA, 1997.
\bibitem[Byrd, 1980]{Byrd:80}
L.~Byrd.
\newblock Understanding the control flow of {Prolog} programs.
\newblock {\em Logic Programming Workshop}, 1980.
\bibitem[Clocksin \& Melish, 1987]{Clocksin:87}
W.~F. Clocksin and C.~S. Melish.
\newblock {\em Programming in {Prolog}}.
\newblock Springer-Verlag, New York, {T}hird, {R}evised and {E}xtended edition,
1987.
\bibitem[Demoen, 2002]{Demoen:CW350}
Bart Demoen.
\newblock {D}ynamic attributes, their h{P}rolog implementation, and a first
evaluation.
\newblock Report CW 350, Department of Computer Science, K.U.Leuven, Leuven,
Belgium, oct 2002.
\newblock URL =
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html.
\bibitem[Desouter {\em et al.}, 2015]{DBLP:journals/tplp/DesouterDS15}
Benoit Desouter, Marko van Dooren, and Tom Schrijvers.
\newblock Tabling as a library with delimited control.
\newblock {\em {TPLP}}, 15(4-5):419--433, 2015.
\bibitem[Fr\"uhwirth, ]{chrSite}
T.~Fr\"uhwirth.
\newblock {Thom Fruehwirth's} constraint handling rules website.
\newblock http://www.constraint-handling-rules.org.
\bibitem[Fr\"uhwirth, 2009]{Freuhwirth:2009}
T.~Fr\"uhwirth.
\newblock {\em {Constraint Handling Rules}}.
\newblock Cambridge University Press, 2009.
\bibitem[Graham {\em et al.}, 1982]{graham82gprof}
Susan~L. Graham, Peter~B. Kessler, and Marshall~K. McKusick.
\newblock gprof: a call graph execution profiler.
\newblock In {\em {SIGPLAN} Symposium on Compiler Construction}, pages
120--126, 1982.
\bibitem[Grosof \& Swift, 2013]{DBLP:conf/aaai/GrosofS13}
Benjamin~Nathan Grosof and Terrance Swift.
\newblock Radial restraint: {A} semantically clean approach to bounded
rationality for logic programs.
\newblock In Marie desJardins and Michael~L. Littman, editors, {\em Proceedings
of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July
14-18, 2013, Bellevue, Washington, {USA}}. {AAAI} Press, 2013.
\bibitem[Hodgson, 1998]{stdprolog:98}
Jonathan Hodgson.
\newblock Validation suite for conformance with part 1 of the standard, 1998,
\url{http://www.sju.edu/~jhodgson/pub/suite.tar.gz}.
\bibitem[Holzbaur, 1992]{holzbaur:1992}
Christian Holzbaur.
\newblock Metastructures versus attributed variables in the context of
extensible unification.
\newblock In {\em {PLILP}}, volume 631, pages 260--268. Springer-Verlag, 1992.
\newblock LNCS 631.
\bibitem[Kernighan \& Ritchie, 1978]{Kernighan:78}
B.~W. Kernighan and D.~M. Ritchie.
\newblock {\em The {C} Programming Language}.
\newblock Prentice-Hall, Englewood Cliffs, New Jersey, 1978.
\bibitem[Neumerkel, 1993]{Neumerkel:93}
Ulrich Neumerkel.
\newblock The binary {WAM}, a simplified {Prolog} engine.
\newblock Technical report, {Technische Universit\"at Wien}, 1993.
\newblock http://www.complang.tuwien.ac.at/ulrich/papers/PDF/binwam-nov93.pdf.
\bibitem[O'Keefe, 1990]{Keefe:90}
R.~A. O'Keefe.
\newblock {\em The Craft of {Prolog}}.
\newblock MIT Press, Massachussetts, 1990.
\bibitem[Pereira, 1986]{CPROLOG:manual}
F.~Pereira.
\newblock {\em {C-Prolog} User's Manual}.
\newblock EdCaad, University of Edinburgh, 1986.
\bibitem[Qui, 1997]{QUINTUS:manual}
AI International ltd., Berkhamsted, UK.
\newblock {\em {Quintus} {Prolog}, User Guide and Reference Manual}, 1997.
\bibitem[Sagonas \& Swift, 1998]{DBLP:journals/toplas/SagonasS98}
Konstantinos Sagonas and Terrance Swift.
\newblock An abstract machine for tabled execution of fixed-order stratified
logic programs.
\newblock {\em {ACM} Trans. Program. Lang. Syst.}, 20(3):586--634, 1998.
\bibitem[Sagonas {\em et al.}, 2000]{SAGONAS20001}
Konstantinos Sagonas, Terrance Swift, and David~S. Warren.
\newblock An abstract machine for efficiently computing queries to well-founded
models.
\newblock {\em The Journal of Logic Programming}, 45(1):1 -- 41, 2000.
\bibitem[Schimpf, 2002]{logicalloops:2002}
Joachim Schimpf.
\newblock Logical loops.
\newblock In PeterJ. Stuckey, editor, {\em Logic Programming}, volume 2401 of
{\em Lecture Notes in Computer Science}, pages 224--238. Springer Berlin
Heidelberg, 2002.
\bibitem[Schrijvers {\em et al.}, 2013]{DBLP:journals/tplp/SchrijversDDW13}
Tom Schrijvers, Bart Demoen, Benoit Desouter, and Jan Wielemaker.
\newblock Delimited continuations for {Prolog}.
\newblock {\em {TPLP}}, 13(4-5):533--546, 2013.
\bibitem[Sterling \& Shapiro, 1986]{Sterling:86}
L.~Sterling and E.~Shapiro.
\newblock {\em The Art of {Prolog}}.
\newblock MIT Press, Cambridge, Massachusetts, 1986.
\bibitem[Swift, 2014]{DBLP:journals/tplp/Swift14}
Terrance Swift.
\newblock Incremental tabling in support of knowledge representation and
reasoning.
\newblock {\em {TPLP}}, 14(4-5):553--567, 2014.
\bibitem[Tarau, 2011]{DBLP:conf/coordination/Tarau11}
Paul Tarau.
\newblock Coordination and concurrency in multi-engine {Prolog}.
\newblock In Wolfgang~De Meuter and Gruia{-}Catalin Roman, editors, {\em
Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, {R}eykjavik, {I}celand, {J}une 6-9, 2011.
{P}roceedings}, volume 6721 of {\em Lecture Notes in Computer Science}, pages
157--171. Springer, 2011.
\bibitem[Triska, 2016]{clpb:Triska2016}
Markus Triska.
\newblock The {Boolean} constraint solver of {SWI-Prolog}: System description.
\newblock In {\em {FLOPS}}, volume 9613 of {\em LNCS}, pages 45--61, 2016.
\newblock https://www.metalevel.at/swiclpb.pdf.
\end{thebibliography}
|
