2 papers
cs.AI2004
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
Francesco Calimeri, Nicola Leone
This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.
cs.AI2004
Parametric external predicates for the DLV System
G. Ianni, F. Calimeri, A. Pietramala +1
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is re…