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_32I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
