elpi

ELPI - Embeddable λProlog Interpreter
Library elpi
Module Elpi . API . Pp
val state : Format.formatter -> Data.state -> unit
val program : Format.formatter -> 'a Compile.query -> unit
val goal : Format.formatter -> 'a Compile.query -> unit
module Ast : sig ... end