The program is now complete and ready for beta-testing. Some parts of the documentation are still missing, this should be done soon.
On July 12,
I removed two bugs
and added verbose output for the hyperresolution.
On September 13, I added the computation of stable models (try option $a).
Super logic programs are logic programs with all propositional connectives (and, or, not, implies - arbitrarily nested) and a default negation operator. They have been introduced by Stefan Brass, Jürgen Dix and Teodor C. Przymusinski, based on Teodor's static semantics. There is a technical report which tells you everything about Super Logic Programs.
Stefan Brass (firstname.lastname@example.org), September 14, 2002. [HTML 3.2 Checked]