Additional References and Resources

Poole, D. and Mackworth, A., Artificial Intelligence, Foundations of Computational Agents, Cambridge University Press, 2010

Poole, D., Mackworth, A., Goebel, R., Computational Intelligence, A Logical Approach, Oxford University Press, New York, 1998

Ronald J. Brachman and Hector J. Levesque, Knowledge Representation and Reasoning, Elsevier/Morgan Kaufmann 2004

Genesereth, M.R. and Nilsson, N.J. Logical foundations of artificial intelligence. Morgan Kaufmann, Los Altos, CA, 1987

Paul Brna,PROLOG Programming A First Course, 1999

A starting point is the Carnegie Mellon School of Computer Science Prolog repository