Help pages for the Definite Clause Deduction applet.

QuickStart: this page will get you up and using the applet quickly.

General Help: contains details about functionality and how the applet works

Tutorials: read step by step instructions on how to do specific tasks or watch video tutorials

Bugs: list of known problems with this applet, if you find one please go to this page