Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
<|reference_start|>Toward the Implementation of Functions in the DLV System (Preliminary Technical Report): This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.<|reference_end|>
@article{calimeri2004toward,
    title={Toward the Implementation of Functions in the DLV System (Preliminary
  Technical Report)},
    author={Francesco Calimeri, Nicola Leone},
    journal={arXiv preprint arXiv:cs/0404012},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0404012},
    primaryClass={cs.AI}
}