This page contains a set of tools to help logic students.
At this moment, most of the modules have been implemented in Prolog and have
been tested with Swi-Prolog and GNU-Prolog (however, we are planning to use
ZINC,
our Curry implementation
The current list of modules is:
- TT: implements truth tables of propositional logic. It also
contains two predicates that clasify a formula (valid, satisfiable and
insatisfiable) and a reasoning (correct, incorrect)
- ND: allows the user to build
natural deduction demostrations
- CNF converts formulas to conjunctive normal form and to
clausal form
Download
- You can download the latest version of the system
here
- More information (CVS, forums, news, bugs, etc.) is available at
SourceForge
Help
To use the system, you only have to uncompress the files into your preferred directory. Them,
from you have to consult them from your Prolog system
Author: Jose Emilio Labra Gayo
Last Updated: $Date: 2003/12/29 13:48:44 $