Programming Language

ELPI

Appeared 2014-03

Embeddable Lambda Prolog Interpreter implements a variant of λProlog enriched with Constraint Handling Rules and serves as both a higher-order logical framework and an implementation language for type systems and logic programs.