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.