Parametric external predicates for the DLV System
Abstract
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 realized by the introduction of parametric external predicates, whose extension is not specified through a logic program but implicitly computed through external code.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2004
- DOI:
- arXiv:
- arXiv:cs/0404011
- Bibcode:
- 2004cs........4011I
- Keywords:
-
- Artificial Intelligence;
- I.2.4
- E-Print:
- 10 pages