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.