S

SWIPL-OCaml

SWI-Prolog bindings for OCaml