package elpi

  1. Overview
  2. Docs
type 'a outcome =
  1. | Success of 'a Data.solution
  2. | Failure
  3. | 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.