Definite Clause Deduction |
Home | News | Older Versions | Downloads | Supported Platforms | People | Report a bug! |
There are two ways to create a problem in the Definite Clause Deduction Applet.
Load A Sample Knowledge Base
This is the way to load a prebuilt knowledge base. You can load from a set of sample problems, or load from a URL.
On the menu bar, select File->Load Sample Knowledge Base. A dialog will pop up with a choice of sample problems. Choose one.
On the menu bar, select File->Open Location. Type in the URL of the knowledge base, and click load.
Create a knowledge base manually
Click the Create mode tab to display the Create panel. Type in the knowledge base into the text area in CILog format.
Click the Solve mode tab to go to Solve mode. Click the Create New Query button and select a predicate. A dialog will pop up that will prompt the user to input the terms that are needed to be queried. Click ok to go back to Solve mode. The query will now be displayed on the canvas.
There are three ways to solve a query.
Click the Step button. This will do a single unification step.
Click the Fine Step button. This will do an incremental step.
Click the Auto Search button. This will do unification until the first solution is found, or until all the branches of the solution tree has been done.
It is also possible to use algorithms other than SLD (depth first), or even to solve the query manually. To do this, click Deduction Options->Deduction Algorithms, and select an algorithm. Selecting "Manual Unification" means that in order to unify a query, the user should select the Unify Node button, and click on the node that he or she wants to unify.