Contrato de Aprendizagem

III. Roteiro de conteúdos

1. Introdução à programação em lógica
   1. Paradigma da PL
   2. Linguagem Prolog
2. Bases de conhecimento
   1. Factos e queries
   2. Variáveis lógicas
   3. Termos
   4. Questões
3. Predicados e recursão
   1. Regras
   2. Estruturas recursivas
4. Modelo computacional do Prolog
   1. Árvores de derivação
   2. Cortes
   3. Negação por falha
5. Predicados extra-lógicos
   1. Aritmética
   2. Predicados de agregação
6. Resolução de problemas em Prolog