ELPI: Fast, Embeddable, λProlog Interpreter.

Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi

Browse the full LPAR paper archive.