swipl

Bindings to SWI-Prolog for OCaml
IN THIS PACKAGE
Module Bindings . Stubs . CVT
val atom : int T.const
val string : int T.const
val list : int T.const
val integer : int T.const
val float : int T.const
val number : int T.const
val atomic : int T.const
val variable : int T.const
val write : int T.const
val write_canonical : int T.const
val writeq : int T.const
val all : int T.const
val exception_ : int T.const
val discardable : int T.const
val stack : int T.const
val malloc : int T.const
val utf8 : int T.const
val mb : int T.const