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.