Fundamentos de Programação Lógica

• Introdução
• Sintaxe e Semântica
• Unificação
• Backtracking
• Operador de Corte (Cut)
• Aplicações

Fundamentos de Programação com Restrições.

• Introdução
• Simplificação, Otimização e Implicação
• Domínios Finitos
• Programação Lógica com Restrições
• Aplicações

Implementação de sistemas de programação lógica

Paralelismo em Programação Lógica