Definite Clause Deduction

Back to help contents.

dotTutorial 1: Creating and Loading Knowledge Bases

dotTutorial 2: Queries

dotTutorial 3: Search Trees

dotTutorial 4:(Supplementary): Algorithms

dotTutorial 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

Valid HTML 4.0 Transitional