Dedução de cláusula definida Analisar algoritmos de dedução com esta ferramenta.
Baixe Agora

Dedução de cláusula definida Classificação e resumo

Dedução de cláusula definida Tag

Analisar simular dedução algoritmo de dedução Resolução de sld. formato CILog

Dedução de cláusula definida Descrição

A dedução de cláusula definida é uma aplicação acessível e fácil de usar especialmente projetada para demonstrar vários algoritmos de dedução, desde a resolução de SLD usadas pelo Prolog para o usuário cláusulas unificadoras manualmente. O applet de dedução aceita bases de conhecimento no formato do Cilog e fornece funções para resolver uma consulta nessa base de conhecimento. Também tem opções para ver árvores provas.

Dedução de cláusula definida Software Relacionado