Definite Clause Deduction
Home
News
Older Versions
Downloads
Supported Platforms
People
Report a bug!
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