#acl DltGroup:read,write,revert,admin GisellaBennardo:read,write All:read 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.