Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
Calimeri, Francesco · Leone, Nicola
Original · EN
This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.