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
|
\begin{thebibliography}{Anjewierden \& Wielemaker, 1989}
\bibitem[Anjewierden \& Wielemaker, 1989]{P1098:C1.6}
A.~Anjewierden and J.~Wielemaker.
\newblock Extensible objects.
\newblock ESPRIT Project 1098 Technical Report UvA-C1-TR-006a, University of
Amsterdam, March 1989.
\bibitem[BIM, 1989]{BIMPROLOG:manual}
{\em BIM Prolog release 2.4}.
\newblock Everberg, Belgium, 1989.
\bibitem[Bowen \& Byrd, 1983]{Bowen:83}
D.~L. Bowen and L.~M. Byrd.
\newblock A portable {Prolog} compiler.
\newblock In L.~M. Pereira, editor, {\em Proceedings of the Login 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[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[Deransart {\em et al.}, 1996]{Deransart:96}
P.~Deransart, A.~Ed-Dbali, and L.~Cervoni.
\newblock {\em Prolog: The Standard}.
\newblock Springer-Verlag, New York, 1996.
\bibitem[Fr\"uhwirth, ]{chrSite}
T.~Fr\"uhwirth.
\newblock {Thom Fruehwirth's} constraint handling rules website.
\newblock
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html.
\bibitem[Fr\"uhwirth, 1998]{Freuhwirth:98}
T.~Fr\"uhwirth.
\newblock {Theory and Practice of Constraint Handling Rules}.
\newblock In P.~Stuckey and K.~Marriot, editors, {\em Special Issue on
Constraint Logic Programming}, volume~37, October 1998.
\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[Hodgson, 1998]{stdprolog:98}
Jonathan Hodgson.
\newblock validation suite for conformance with part 1 of the standard, 1998,
\url{http://www.sju.edu/{\tt\string~}jhodgson/pub/suite.tar.gz}.
\bibitem[Holzbaur, 1990]{holzbaur:1992}
Christian Holzbaur.
\newblock Realization of forward checking in logic programming through extended
unification.
\newblock Report TR-90-11, Oesterreichisches Forschungsinstitut fuer Artificial
Intelligence, Wien, Austria, 1990.
\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[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}, 1986.
\bibitem[Qui, 1997]{QUINTUS:manual}
{\em Quintus Prolog, User Guide and Reference Manual}.
\newblock Berkhamsted, UK, 1997.
\bibitem[Sterling \& Shapiro, 1986]{Sterling:86}
L.~Sterling and E.~Shapiro.
\newblock {\em The Art of Prolog}.
\newblock MIT Press, Cambridge, Massachusetts, 1986.
\end{thebibliography}
|
