Definite Clause Deduction |
|
When you first open the applet, you should be looking at a large blank textarea. This textarea will contain the knowledge base to be used. If you want to enter your own knowledge base, simply type it into that textarea, or cut and paste it from elsewhere. The applet accepts knowledge bases written with a simplified version of CIlog syntax. For more details, see the syntax tutorial.
There are, however, several pre-written knowledge bases, each of which deals with a different domain. Most of them can be found on the examples page for CIlog. To load one of these examples, go to the 'File' menu, and select 'Load Sample Knowledge Base'. A dialog will open with a drop-down menu allowing you to select a particular example. Select an example and click the 'Load' button. The knowledge base will be parsed, and you will see it appear in the textarea. If you like, you can add rules or modify the knowledge base once it is loaded.
The knowledge base will be parsed automatically when you click on the 'Solve' tab. If there are any errors in the syntax of your knowledge base when it is parsed by the applet, a dialog box will pop up, giving you an error message describing the problem.
If you would like to see the knowledge base while in 'Solve' mode, click on the button at the bottom of the window marked 'Show Knowledge Base'. The window will expand and you will be able to see the knowledge base in a large text area below. To hide this text area, click on the button again, which should now be marked 'Hide Knowledge Base'