Super Logic Programs Interpreter

Enter Super Logic Program (or choose one of the examples):

Options must be ended with a fullstop in the SLP input, e.g. "$r.". So they look like a fact with a special predicate.

• $i: Show input formulas.
• $t: Show result of clause transformation (rules and facts).
• $h: Show verbose output for hyperresolution (how each fact is derived).
• $f: Show derived conditional facts (Hyperresolution Fixpoint).
• $r: Show residual program.
• $s: Show fixpoint computation of static models in detail.
• $m: Show static models for critical default negation literals.
• $v: Verbose output: Equivalent to $i, $t, $h, $f, $r, $s, $m.
• $a: Compute stable models (answer set semantics).
• $c: Show Clark's completion of residual program.