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.