elpi

ELPI - Embeddable λProlog Interpreter
Library elpi
Module Elpi . API . Execute
type 'a outcome =
| Success of 'a Data.solution
| Failure
| NoMoreSteps
val once : ?max_steps:int -> ?delay_outside_fragment:bool -> 'a Compile.executable -> 'a outcome
val loop : ?delay_outside_fragment:bool -> 'a Compile.executable -> more:( unit -> bool ) -> pp:( float -> 'a outcome -> unit ) -> unit

Prolog's REPL. pp is called on all solutions. more is called to know if another solution has to be searched for.