Section: New Software and Platforms
ELPI
Embeddable Lambda Prolog Interpreter
Keywords: Constraint Programming - Programming language - Higher-order logic
Functional Description: ELPI is a lambdaProlog interpreter written in OCaml, easy to embed in software written in the same language.