Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)

Abstract

This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues. 1 Language Specifications In this section we briefly provide a formal definition of the language. 1.1 Syntax A rule is in the form

Extracted Key Phrases

Cite this paper

@article{Calimeri2004TowardTI, title={Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)}, author={Francesco Calimeri and Nicola Leone}, journal={CoRR}, year={2004}, volume={cs.AI/0404012} }