Title: Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals, Author: T. Van Le
Title: Artificial Intelligence: Structures and Strategies for Complex Problem Solving, Author: George Luger