swipl

Bindings to SWI-Prolog for OCaml
IN THIS PACKAGE
Module Bindings . Stubs . Q
val normal : int T.const
val nodebug : int T.const
val catch_exception : int T.const
val pass_exception : int T.const
val allow_yield : int T.const
val ext_status : int T.const