DisLog - Graphical User Interface

This graphical user interface allows to apply a DisLog operator to a disjunctive logic program. You can choose a type of Semantics. Then you will get a form where you can select a special operator, enter a program, and apply the operator to it.

Semantics of Disjunctive Logic Programs

DisLog provides the following approaches for evaluating logic programs:

the minimal model approach (with example program)
the stable model approach (with example program)
the possible model approach
the well-founded approach (with example program)

Syntax of Disjunctive Logic Programs

A disjunctive logic program is a collection of Prolog-style rules of the form

A

₁ ; ... ; A_k :- A_k+1 , ... , A_m , ~ A_m+1 , ... , ~ A_n .

where `;' denotes disjunction, `,' denotes conjunction, and `~' denotes default negation.
The rules must be range-restricted, which means that all variable symbols occuring in a rule must occur in at least one of the positive body atoms

A

_k+1 , ... , A_m .