ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter

DOI10.1007/978-3-662-48899-7_32zbMath1471.68046OpenAlexW2294656706MaRDI QIDQ3460075

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

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

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

Related Items (10)

Proof checking and logic programming ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A semantic framework for proof evidence ⋮ A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading ⋮ On the effectiveness of higher-order logic programming in language-oriented programming ⋮ ELPI ⋮ Implementing type theory in higher order constraint logic programming ⋮ Mechanized metatheory revisited ⋮ Logic-independent proof search in logical frameworks (short paper) ⋮ \texttt{slepice}: towards a verified implementation of type theory in type theory

Uses Software

• Teyjus

This page was built for publication: ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter