Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
classification
💻 cs.AI
keywords
functionsimplementationsystemdescribesdocumentfirstgiveissues
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.