1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-24 00:45:52 +00:00
freebsd-ports/lang/dlv/pkg-descr
Ruslan Makhmatkhanov a3286022d8 - update to 20121217
- 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]
2013-03-10 07:01:48 +00:00

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/