---
key: pl/elpi
kind: plang
name: "ELPI"
url: https://plangs.page/elpi
---

# ELPI

> An embeddable interpreter for a λProlog variant enriched with Constraint Handling Rules.

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.

## Facts

- Appeared: 2014-03
- GitHub: https://github.com/LPCIC/elpi

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Logic](https://plangs.page/paradigm/logic)

### Tags

- [Language Engineering](https://plangs.page/tag/languages)
- [Proof Assistant](https://plangs.page/tag/proofs)