Parametric external predicates for the DLV System
<|reference_start|>Parametric external predicates for the DLV System: 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.<|reference_end|>
@article{ianni2004parametric,
    title={Parametric external predicates for the DLV System},
    author={G. Ianni, F. Calimeri, A. Pietramala, M.C. Santoro},
    journal={arXiv preprint arXiv:cs/0404011},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0404011},
    primaryClass={cs.AI}
}