|
Size: 630
Comment:
|
Size: 645
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| ||<:100%>DLT USER MANUAL|| | ||<tablewidth="100%":>DLT USER MANUAL|| |
| Line 6: | Line 6: |
| ====Overview==== | ==== Overview ==== |
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]]