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.

Extracted Key Phrases

Cite this paper

@article{Ianni2004ParametricEP, title={Parametric external predicates for the DLV System}, author={Giovambattista Ianni and Francesco Calimeri and Adriana Pietramala and Maria Carmela Santoro}, journal={CoRR}, year={2004}, volume={cs.AI/0404011} }