#acl DltGroup:read,write,revert,admin All:read

||<:100%>DLT USER MANUAL||

 
====Overview====

DLT is a front-end for disjunctive datalog, extending the DLV system with Template predicates. Template predicates can be seen as a way to define intensional predicates by means of a subprogram, where the subprogram is generic and reusable as many times is necessary. The language implemented by the DLT system is named DLPT.[[BR]]

More information (including an online version of this manual and an online tutorial) and the executable program for Linux platform are available at the DLT homepage (http://gibbi.com).[[BR]]