Definite Clause DeductionAnalyze deduction algorithms with this tool. | |
Download |
Definite Clause Deduction Ranking & Summary
Advertisement
Definite Clause Deduction Tags
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