Definite Clause Deduction

applet home
help contents
quickstart
general help
tutorials
 

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