DLV - A System for Declarative Problem Solving

TL;DR

DLV is an advanced logic programming system that supports disjunctive datalog, non-monotonic reasoning, and various reasoning tasks, integrating with databases and offering multiple frontends for diverse applications.

Contribution

It introduces a comprehensive system for declarative problem solving with rich knowledge representation and multiple reasoning capabilities, enhancing logic programming tools.

Findings

Supports disjunctive datalog under Answer Set Semantics

Integrates with relational databases and SQL3

Provides multiple reasoning frontends such as diagnosis and planning

Abstract

DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database systems. Its core language is disjunctive datalog (function-free disjunctive logic programming) under the Answer Set Semantics with integrity constraints, both default and strong (or explicit) negation, and queries. Integer arithmetics and various built-in predicates are also supported. In addition DLV has several frontends, namely brave and cautious reasoning, abductive diagnosis, consistency-based diagnosis, a subset of SQL3, planning with action languages, and logic programming with inheritance.