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]]