elpi 1.13.8-1build1 (amd64 binary) in ubuntu jammy

 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.