swipl

Bindings to SWI-Prolog for OCaml
IN THIS PACKAGE
Module Bindings . Stubs . Action
val action_trace : int T.const
val action_debug : int T.const
val action_backtrace : int T.const
val action_halt : int T.const
val action_abort : int T.const
val action_break : int T.const
val action_guiapp : int T.const
val action_traditional : int T.const
val action_write : int T.const
val action_flush : int T.const
val action_attach_console : int T.const
val gmp_set_alloc_functions : int T.const