- Capítulo 4 - Lógica de Primeira Ordem, Parte I
- Capítulo 5 - Lógica de Primeira Ordem, Parte II
- Capítulo 6 - Fundamentos da Programação em Lógica
- Capítulo 7 - Prolog: Programação em Lógica em Prática
jun 9 2011 ∞
jun 15 2011 +
jun 15 2011 +