swipl

Bindings to SWI-Prolog for OCaml
IN THIS PACKAGE
val version_system : int T.const
val version_fli : int T.const
val version_rec : int T.const
val version_qlf : int T.const
val version_qlf_load : int T.const
val version_vm : int T.const
val version_built_in : int T.const