package swipl

  1. Overview
  2. Docs
Bindings to SWI-Prolog for OCaml

Install

gitlab.com GPL-3.0-or-later License Edit opam file

Authors

  1. K
    Kiran Gopinathan

Maintainers

  1. K
    kirang@comp.nus.edu.sg

Sources

swipl-ocaml-v0.5.tar.gz
md5=a4ea377afe5c52496bf445621ad2e02b
sha512=bcb55c99ae6a2308028d813c78e512901e4ab4f1bb6f054a95de044abee9e420ff9100e4bb6e00520977b800039e8e5338739a4b2ace28cbf8961ba415e33230

Description

Swipl are Free Software high-level OCaml bindings to SWI Prolog 8.5, supporting easy interop between OCaml and Prolog.

Published: 08 Dec 2021

Dependencies (9)

  1. dune-configurator >= "2.8.2"
  2. stdio >= "v0.14.0"
  3. base >= "v0.14.0"
  4. ppx_deriving >= "2.0"
  5. ctypes-foreign >= "0.18.0"
  6. ctypes >= "0.18.0"
  7. conf-swi-prolog >= "1"
  8. ocaml >= "4.08.0"
  9. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None