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

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/32067This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.7 pagesArtificial IntelligenceI.2.4Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)text