Departamento de Ciência da Computação
Lógica em Programação
Material de apoio:
Introdução(Postscript) (html)
Notas de Aula sobre Prolog(Postscript)(html)
(Lista de Programas)
Aplicações de Prolog à IA(Postscript)(html)
(Lista de Programas)
Escrita de Compiladores em Prolog
Implementação de Prolog
Programação Lógica com Restrições
Programação Lógica Indutiva
Concorrência em Programação Lógica
Exploração de Paralelismo em Programação Lógica