elpi 1.17.0-1build3 (arm64 binary) in ubuntu mantic

 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.