ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

This package provides the command-line tool.