elpi 1.17.4-2 (armhf binary) in ubuntu noble

 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.