1. Lecture Notes in Computer Science;E. Albert,2000
2. Colhoe, H., Cotta, J.C.: Prolog by Example. Springer, Heidelberg (1988)
3. Prolog Programming for the Working Programmer;W.F. Clocksin,1997
4. Clocksin, W.F.: Prolog Programming. Lecture Prolog for Artificial Intelligence 2001-02 at University of Cambridge, Computer Laboratory (2002)
5. Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, Heidelberg (1981, 1984, 1987)