====== Additional References and Resources ======

==== Artificial Intelligence ====
  * Poole, D. and Mackworth, A., [[http://artint.info/|Artificial Intelligence, Foundations of Computational Agents, Cambridge University Press]], 2010
  * Poole, D., Mackworth, A., Goebel, R., [[http://www.cs.ubc.ca/~poole/ci.html|Computational Intelligence, A Logical Approach, Oxford University Press, New York]], 1998 

==== Knowledge Representation ====
  * 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

==== Prolog ====
  * Paul Brna,[[http://homepages.inf.ed.ac.uk/pbrna/prologbook/book.html|PROLOG Programming A First Course]], 1999
  * A starting point is the Carnegie Mellon School of Computer Science [[http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/|Prolog repository]]