Parametric external predicates for the DLV System
Artificial Intelligence
2007-05-23 v1
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.
Cite
@article{arxiv.cs/0404011,
title = {Parametric external predicates for the DLV System},
author = {G. Ianni and F. Calimeri and A. Pietramala and M. C. Santoro},
journal= {arXiv preprint arXiv:cs/0404011},
year = {2007}
}
Comments
10 pages