Next: Details of the
Up: Prolog Programming
A
Previous: A Short Prolog
References
- Balbin & Lecot, 1985
-
Balbin, I. and Lecot, K.
(1985).
Logic Programming: A Classified Bibliography.
WildGrass Books, Australia.
- Bowen, 1981
-
Bowen, D.L., (ed.).
(1981).
DECSystem-10 Prolog User's Manual.
Department of Artificial Intelligence, Edinburgh.
Available as Occasional Paper No 27.
- Bratko, 1986
-
Bratko, I.
(1986).
Prolog Programming for Artificial Intelligence.
Addison Wesley, Wokingham.
- Burnham & Hall, 1985
-
Burnham, W.D. and Hall, A.R.
(1985).
Prolog Programming and Applications.
Macmillan.
- Clark & McCabe, 1984
-
Clark, K.L. and McCabe, F.G.
(1984).
micro-Prolog: Programming in Logic.
Prentice Hall.
- Clocksin & Mellish, 1984
-
Clocksin, W.F. and Mellish, C.S.
(1984).
Programming in Prolog.
Springer Verlag.
- Conlon, 1985
-
Conlon, T.
(1985).
Start Problem Solving with Prolog.
Addison Wesley.
- Ennals, 1982
-
Ennals, J.R.
(1982).
Beginning micro-Prolog.
Ellis Horwood, Chichester.
- Hogger, 1984
-
Hogger, C.
(1984).
Introduction to Logic Programming.
Academic Press.
- Kluzniak & Szpakowicz, 1985
-
Kluzniak, F. and Szpakowicz, S.
(1985).
Prolog for Programmers.
Academic Press.
- Kowalski, 1979
-
Kowalski, R.
(1979).
Logic for Problem Solving.
Artificial Intelligence Series, North Holland.
- Lloyd, 1987
-
Lloyd, J.W.
(1987).
Foundations of Logic Programming.
Springer-Verlag, 2 edition.
- O'Keefe, 1990
-
O'Keefe, R.A.
(1990).
The Craft of Prolog.
MIT Press.
- SICStus, 1988
-
SICStus.
(1988).
SICStus Prolog User's Guide and Reference Manual.
Swedish Institute of Computer Science, Sweden.
- Sterling & Shapiro, 1986
-
Sterling, L. and Shapiro, E.Y.
(1986).
The Art of Prolog.
MIT Press, Cambridge, MA.
Paul Brna
Mon May 24 20:14:48 BST 1999