Definite Clause Deduction

applet home
help contents
quickstart
general help
tutorials
 

General Help

Contents

Overview

Menu Help

Create Mode

Solve Mode


Overview

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.

Menu Help

The File Menu

The File Menu has options to create graphs and load files, as well as quitting the program. The application version of the applet can also save files.

The Edit Menu

The Edit Menu allows the user to view a text representation of the knowledge base and the proof tree.

The Graph Options

The Graph Options menu allows the user to modify the appearance of the applet and to change what information is presented on the proof tree.

The Deduction Options

The Deduction Options menu allows the user to modify the behaviour of the algorithms used to solve for a query.

Create Mode

Create Mode provides a text area (where the canvas is) to input the knowledge base. Note that the information has to be presented in CILog format

Solve Mode

Solve Mode graphically represents the construction of the proof tree, and allows the user to step through the unification process, as well as inspect each step of the process.