SLP - An Interpreter for Super Logic Programs

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.

More Information

The Prototype

See also:
Old Prolog version.

Stefan Brass (, September 14, 2002.    [HTML 3.2 Checked]