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.
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01176856
Contributor : Enrico Tassi <>
Submitted on : Tuesday, August 25, 2015 - 3:39:37 AM
Last modification on : Thursday, January 11, 2018 - 4:48:39 PM
Document(s) archivé(s) le : Thursday, November 26, 2015 - 1:47:30 PM

File

lpar2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01176856, version 1

Collections

Citation

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

Share

Metrics

Record views

916

Files downloads

644