aboutsummaryrefslogtreecommitdiffstats
path: root/lang/dlv/pkg-descr
blob: 64835c99ccfc31a3eddfe8532ede95c354bcb848 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
DLV is a system for disjunctive datalog with constraints, true negation
and queries.

The DLV system also includes

    * the K planning system,
    * a frontend for abductive diagnosis and Reiter's diagnosis,
    * support for inheritance, and
    * an SQL frontend which prototypes some novel SQL3 features.

WWW: http://www.dlvsystem.com/dlv/