Definite Clause Deduction

Home News Older Versions Downloads Supported Platforms People Report a bug!  

 

Back to help contents.


Tutorial 1: Creating and Loading Knowledge Bases

Tutorial 2: Queries

Tutorial 3: Search Trees

Tutorial 4 (Supplementary): Algorithms

Tutorial 5 (Supplementary): Syntax of CILog

These tutorials provide step by step instructions to illustrate a number of examples important for the use of the Definite Clause Deduction Applet