Parametric external predicates for the DLV System
G. Ianni, F. Calimeri, A. Pietramala, M.C. Santoro
TL;DR
This paper introduces parametric external predicates for the DLV system, enabling logic programs to invoke external C functions, thereby extending its computational capabilities with external code integration.
Contribution
It presents a novel syntax, semantics, and implementation approach for integrating external C functions into DLV via parametric external predicates.
Findings
Enables external C function calls within DLV logic programs
Provides a formal semantics for external predicate integration
Guidelines for implementing and extending the system
Abstract
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is realized by the introduction of parametric external predicates, whose extension is not specified through a logic program but implicitly computed through external code.
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
TopicsEmbedded Systems Design Techniques · Formal Methods in Verification