ELPI (Embedded Lambda Prolog Interpreter) is an interpreter for the Lambda Prolog language. It is backward compatible with the Teyjus compiler, up to the module system (not implemented in this release) and typing. It also relaxes several implementative constraints of Teyjus. Compare to Teyjus, ELPI is systematically faster, and in several cases it is dramatically faster because it detects cases where reduction can be completely avoided during higher-order unification. The fragment where this is possible and the implementation technique to achieve the speed up are found in the companion paper "ELPI, a Fast Embeddable Lambda Prolog Interpreter" DOI: 10.1007/978-3-662-48899-7_32

Tsvetan Chavdarov, D., Claudio Sacerdoti Coen, Enrico Tassi (2015). Embedded Lambda Prolog Interpreter (ELPI).

Embedded Lambda Prolog Interpreter (ELPI)

DUNCHEV, TSVETAN CHAVDAROV;SACERDOTI COEN, CLAUDIO;
2015

Abstract

ELPI (Embedded Lambda Prolog Interpreter) is an interpreter for the Lambda Prolog language. It is backward compatible with the Teyjus compiler, up to the module system (not implemented in this release) and typing. It also relaxes several implementative constraints of Teyjus. Compare to Teyjus, ELPI is systematically faster, and in several cases it is dramatically faster because it detects cases where reduction can be completely avoided during higher-order unification. The fragment where this is possible and the implementation technique to achieve the speed up are found in the companion paper "ELPI, a Fast Embeddable Lambda Prolog Interpreter" DOI: 10.1007/978-3-662-48899-7_32
2015
Tsvetan Chavdarov, D., Claudio Sacerdoti Coen, Enrico Tassi (2015). Embedded Lambda Prolog Interpreter (ELPI).
Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/552439
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact