Listas de Exercícios - Prolog

• Listas sobre Prolog são parte de A Cartilha Prolog

Listas de Exercícios - Lógica

• Lista 1
• Lista 3
• Lista 4
• Lista 5

Notas de Aula

• Ementa
• Forma Normal Prenex
• Conversão para a Forma Clausal
• Resolução e Estratégias de Controle
• Herbrand

       Nicoletti, M.C. A Cartilha Prolog. Série Apontamentos, EdUFSCar, 2003, 121 pgs.