Bibliografia
- Bibliografia básica:
- Stuart Russell e Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall (1a., 2a. ou 3a. edição).
- Bibliografia complementar:
- Ulf Nilsson and Jan Maluszynski. Logic, Programming and Prolog. John Wiley & Sons Ltd (2a. ed.), 1995. (Atualmente disponível em http://www.ida.liu.se/~ulfni/lpp/ para cópia).
- Eurgene Charniak, Drew V. McDermott. Introduction to Artificial Intelligence. Addison-Wesley, 1985.
- Ivan Bratko. Prolog Programming for Artificial Intelligence (International Computer Science Series). Addison-Wesley, 1993.
- Yoav Shoham, Artificial Intelligence Techniques in Prolog. Morgan Kaufmann, 1994.
- William F. Clocksin and Christopher S. Mellish. Programming in Prolog. Springer-Verlag, 1987.
- Patrick Winston, Artificial Intelligence. Addison-Wesley, 1992, 3rd Edition.