DLV

For other uses, see DLV (disambiguation).

The DLV (DataLog with Disjunction, where the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules.

Briefly, disjunctive Datalog is a variant of Datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies, which can be handled according to a semantics for negation in disjunctive logic programming.

A disjunctive Datalog rule is a clause of the form:

$a_{1}\vee \dots \vee a_{n}\leftarrow b_{1}\wedge \dots \wedge b_{m}\quad 1\leq n,0\leq m$

A disjunctive Datalog constraint is a clause of the form:

$\leftarrow b_{1}\wedge \dots \wedge b_{m}\quad 0\leq m$

One of the most popular nonmonotonic logics is Reiter’s [1980] default logic. This logic was developed as a knowledge representation formalism and was originally not conceived as a database query language. However, a suitable setting was defined in which default logic can be used as a query language for relational databases (Default Query Language, DQL).

From a practical point of view, in the context of deductive databases disjunctive Datalog seems to be the more suitable extension of DATALOG~ than DQL. Due to its plain syntax, DATALOGv,~ is amenable to automatic program analysis and optimization.

These results are not only of theoretical interest; problems relevant in practice such as computing the optimal tour value in the Traveling Salesman Problem and eigenvector computations can be handled in disjunctive Datalog, but not Datalog with negation (unless the Polynomial Hierarchy collapses).

Example Input: Datalog with Negation as Failure

smoker(john).
smoker(jack).

jogger(jill).
jogger(john).

healthy(X) :- jogger(X), \+ smoker(X).

Translation to DLV: Take Clark Completion and Clausal Form

smoker(X) <- X=john.
smoker(X) <- X=jack.
X=john v X=jack <- smoker(X).

jogger(X) <- X=jill.
jogger(X) <- X=john.
X=jill v X=john <- jogger(X).

healthy(X) v smoker(X) <- jogger(X).
jogger(X) <- healthy(X)
<- healthy(X) & smoker(X).

Example Run: Single Stable Model

?- healthy(X).
X = jill ;
No

External links

• DLV user manual
• DLV Tutorial