Parametric external predicates for the DLV System

Simple item page
dc.creatorIanni, G.
dc.creatorCalimeri, F.
dc.creatorPietramala, A.
dc.creatorSantoro, M. C.
dc.date2004-04-05
dc.date.accessioned2026-07-07T03:21:05Z
dc.date.available2026-07-07T03:21:05Z
dc.descriptionThis 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.
dc.description10 pages
dc.identifierhttps://arxiv.org/abs/cs/0404011
dc.identifierhttp://arxiv.org/abs/cs/0404011
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32066
dc.subjectArtificial Intelligence
dc.subjectI.2.4
dc.titleParametric external predicates for the DLV System
dc.typetext

Files

Collections

arXiv