Definite Clause Deduction Analyze deduction algorithms with this tool.
Download

Definite Clause Deduction Ranking & Summary

Definite Clause Deduction Tags

Analyze simulate deduction deduction algorithm SLD resolution CILog format

Definite Clause Deduction Description

Definite Clause Deduction is a handy, easy to use application specially designed to demonstrate various deduction algorithms, from the SLD resolution used by Prolog to the user manually unifying clauses. The Deduction applet accepts knowledge bases in CILog format, and gives functions for solving a query in that knowledge base. It also has options to view proof trees.

Definite Clause Deduction Related Software