Excertos

• Tabela de Conteúdo
• Índice Remissivo
• Capítulo 5 — Introdução à Linguagem Prolog
• Apêndice A — Prova Automática de Teoremas

Código

• Download códigos dos exemplos

Este livro deverá estar disponível para venda em novembro de 2019.