|
Size: 129
Comment:
|
← Revision 5 as of 2010-10-26 10:19:44 ⇥
Size: 700
Comment: converted to 1.6 markup
|
| 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 DLT team or consider to use the ASITIS directive as explained in the 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.