|
Brakto I, 1986. Prolog Programming for Artificial Intelligence, Wokingham: Addison Wesley |
|
Clocksin W and Mellish C, 1984. Programming in Prolog, Second Edition, New York: Springer-Verlag |
|
Gallier JH, 1987. Logic for Computer Science: Foundations of Automatic Theorem Proving, Singapore: John Wiley |