1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
freebsd-ports/lang/dlv/pkg-descr
2009-08-31 07:27:27 +00:00

12 lines
367 B
Plaintext

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.dbai.tuwien.ac.at/research/project/dlv/