swipl

Bindings to SWI-Prolog for OCaml
Library swipl.__private__.bindings
Module Bindings . Stubs . Database
val assertz : int T.const
val asserta : int T.const
val create_thread_local : int T.const
val create_incremental : int T.const