Prolog Programming for Artificial Intelligence
Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals
Artificial Intelligence Through Prolog
The Reasoned Schemer (MIT Press)
The Seasoned Schemer (MIT Press)
The Little Schemer - 4th Edition
Programming in Prolog: Using the ISO Standard