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.