Exploração de Paralelismo OU em Programação Lógica
(por Gustavo Faria, formato html)
Exploração de Paralelismo E em Programação Lógica
(por Rodrigo Salvador, formato ASCII)