Back to help contents.
These tutorials provide step by step instructions to illustrate a number of examples important for the use of the Definite Clause Deduction Applet