Definite Clause Deduction
applet home
help contents
quickstart
general help
tutorials
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:
step by step instructions for learning how to do specific tasks
Bugs: list of known problems with this applet, if you find one please go to this page
If you have any questions or comments regarding this applet or its use please send your requests to
Joseph Roy Santos