Parametric external predicates for the DLV System
Ianni, G. · Calimeri, F. · Pietramala, A. · Santoro, M. C.
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.