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
|
\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[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[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[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[OKeefe, 1990]{Keefe:90}
R.~A. OKeefe.
\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.
\bibitem[Warren, 1983]{Warren:83b}
D.~H.~D. Warren.
\newblock The runtime environment for a prolog compiler using a copy algorithm.
\newblock Technical Report 83/052, SUNY and Stone Brook, New York, 1983.
\newblock Major revision March 1984.
\end{thebibliography}
|
