|
⇤ ← Revision 1 as of 2006-05-16 15:09:10
Size: 129
Comment:
|
Size: 675
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| Inserisci una descrizione per dlt/CompatibilityTable | 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. |
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.