DeReS is an implementation of default logic. DeReS computes extensions of default theories; in the case of logic programs written as default theories, this is equivalent to computing the stable model semantics. DeReS runs on Unix systems, and has been tested on Solaris, Linux, and HP/UX. DeReS provides reasonable performance for logic programs with relaxed stratification.
sderes is a simplified, non-interactive version of DeReS which supports only logic programs. Its usage is quite simple, and is explained in an included Unix manual page.
sm2dt translates logic programs into default theories with relaxed
stratifications, for use with DeReS or sderes. sm2dt relies on Tommi
Syrjänen's
lparse, the local parser for the
smodels system (q.v.:
it, like sderes, computes stable models of logic programs). sm2dt also
requires perl (it has only been tested with perl 5, but may work with
perl 4). perl is available from
CPAN, the Comprehensive
Perl Archive Network. sm2dt should compile on any Unix system; the code
itself is ANSI C, but the compilation process requires Unix utilities
such as ar and sed. It has been tested on
Solaris, Linux, and HP/UX.
DeReS was written by Pawel Cholewinski. sderes is based on DeReS, but simplified and given a non-interactive interface by Neil Moore. sm2dt was written by Neil Moore. These programs are copyright 1992-1999 by the University of Kentucky; see the COPYRIGHT file distributed with sderes and sm2dt for more information.