ELPI: fast, embeddable, Prolog interpreter

DOI10.1007/978-3-662-48899-7_32MaRDI QIDQ3460075zbMATH OpenOpenAlexFDO

Authors Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_32

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• A pragmatic reconstruction of λProlog
• scientific article; zbMATH DE number 4176423
• Efficient self-interpretation in lambda calculus
• scientific article; zbMATH DE number 4180832
• A logic programming language with lambda-abstraction, function variables, and simple unification

Cited in

(17)

• A semantic framework for proof evidence
• On the effectiveness of higher-order logic programming in language-oriented programming
• Logic-independent proof search in logical frameworks (short paper)
• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Mechanized metatheory revisited
• Proof checking and logic programming
• Eliom: A Core ML Language for Tierless Web Programming
• scientific article; zbMATH DE number 4176423 (Why is no real title available?)
• ELPI
• Implementing type theory in higher order constraint logic programming
• A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Hierarchy builder: algebraic hierarchies made easy in Coq with Elpi (system description)
• Mechanized metatheory revisited: an extended abstract (invited paper)
• Rapid prototyping formal systems in MMT: 5 case studies
• Two applications of logic programming to Coq
• Inductive predicates via least fixpoints in higher-order separation logic

Describes a project that uses

Uses Software

• Teyjus

This page was built for publication: ELPI: fast, embeddable, \(\lambda \)Prolog interpreter

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460075)