|
Size: 675
Comment:
|
Size: 689
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| ''DLV'' | '''DLV''' |
| Line 7: | Line 7: |
| --- ''DLV-EX'' |
---- '''DLV-EX''' |
| Line 10: | Line 10: |
| --- ''DLV-HEX'' |
---- '''DLV-HEX''' |
| Line 13: | Line 13: |
| --- ''DLV'' with ODBC extensions |
---- '''DLV''' with ODBC extensions |
| Line 16: | Line 16: |
| --- ''Smodels'' |
---- '''Smodels''' |
If you need that DLT parses some of your constructs, ask the [mailto:dlt@mat.unical.it DLT team] or consider to use the ASITIS directive as explained in the [http://www.mat.unical.it/ianni/wiki/dlt/dltManual Manual]
DLV
- Full support of all the main language features: aggregates, weak constraints.
DLV-EX
- Support of external builtins.
DLV-HEX
- Support of external predicates and of the namespace directive.
DLV with ODBC extensions
- Not tested yet.
Smodels
- Supports normal programs with function symbols. Not completely tested yet.