blob: cb65c02589ddb0791af92c032dca97f82fd41563 (
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/
|
