Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut

Lecture notes in computer science 2026 Open access

Read full text

Authors: Davide Fissore, Enrico Tassi

DOI: 10.1007/978-3-032-15981-6_5

Cited by: 0

Fields of Study & Subjects

Logic Reasoning and Knowledge Formal Methods in Verification Semantic Web and Ontologies