mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-20 04:02:27 +00:00
a3286022d8
- fix fetch [1] - remove indefinite article from COMMENT - tab -> space change in pkg-descr:WWW PR: 176702 Reported by: John Marino <draco@marino.st> [1]
12 lines
346 B
Plaintext
12 lines
346 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.dlvsystem.com/dlv/
|