Skip to Main content Skip to Navigation
Conference papers

ELPI: fast, Embeddable, λProlog Interpreter

Abstract : We present a new interpreter for λProlog that runs consistently faster than the byte code compiled by Teyjus, that is believed to be the best available implementation of λProlog. The key insight is the identification of a fragment of the language, which we call reduction-free fragment (L β λ), that occurs quite naturally in λProlog programs and that admits constant time reduction and unification rules.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Enrico Tassi Connect in order to contact the contributor
Submitted on : Tuesday, August 25, 2015 - 3:39:37 AM
Last modification on : Thursday, January 20, 2022 - 5:30:46 PM
Long-term archiving on: : Thursday, November 26, 2015 - 1:47:30 PM


Files produced by the author(s)


  • HAL Id : hal-01176856, version 1



Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast, Embeddable, λProlog Interpreter. Proceedings of LPAR, Nov 2015, Suva, Fiji. ⟨hal-01176856⟩



Les métriques sont temporairement indisponibles