Analyze deduction algorithms. Definite Clause Deduction demonstrate various deduction algorithms, from the SLD resolution used by Prolog to the user manually unifying clauses.

Every representation and reasoning system needs a proof procedure in order to be complete. The purpose of this tool is to illustrate how the process of answer extraction within a knowledge base can be cast as a search problem. The deduction tool uses a language similar to Prolog and demonstrates its goal solving procedures.

The purpose of the Definite Clause Deduction Applet is to visually 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.

Requirements:
* Java

The license of this software is Freeware, you can free download and free use this calculator software.