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

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48899-7_32 ◽

2015 ◽

pp. 460-468 ◽

Cited By ~ 11

Author(s):

Cvetan Dunchev ◽

Ferruccio Guidi ◽

Claudio Sacerdoti Coen ◽

Enrico Tassi

Download Full-text