package elpi

  1. Overview
  2. Docs
type outcome =
  1. | Success of Data.solution
  2. | Failure
  3. | NoMoreSteps
val once : ?max_steps:int -> ?delay_outside_fragment:bool -> Compile.executable -> outcome
val loop : ?delay_outside_fragment:bool -> Compile.executable -> more:(unit -> bool) -> pp:(float -> 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.

OCaml

Innovation. Community. Security.