Definite Clause Deduction |
Home | News | Older Versions | Downloads | Supported Platforms | People | Report a bug! |
These tutorials provide step by step instructions to illustrate a number of examples important for the use of the Definite Clause Deduction Applet