Introdução a Programação em Lógica (PL).

Aplicações de PL a Inteligência Artificial.

Implementação de Linguagens Lógicas.

Linguagens Lógicas com Restrições.

Linguagens Lógicas Concorrentes.

Paralelismo em Sistemas de PL.