Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
Francesco Calimeri, Nicola Leone
TL;DR
This paper discusses the implementation of functions within the DLV system, covering language specifications and key implementation challenges to advance the system's capabilities.
Contribution
It introduces a formal approach to integrating functions into the DLV system, addressing language design and implementation issues.
Findings
Defined the language syntax for functions in DLV
Identified main implementation challenges
Proposed solutions for function integration
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsViral Infectious Diseases and Gene Expression in Insects · Extremum Seeking Control Systems