Yandes Logo

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:

Download

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 $
SourceForge.net Logo