Definite Clause Deduction
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 pageIf you have any questions or comments regarding this applet or its use please send your requests to firstname.lastname@example.org
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|