May 26, 2018
Disjunctive Datalog System
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.