Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
arXiv:cs/0404012
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.
7 pages