OCanren is a strongly-typed embedding of relational programming language miniKanren
into OCaml. Nowadays, the implementation of OCanren strongly reminds faster-miniKanren.
Previous implementation was based on microKanren
with disequality constraints.
See installation instructions, API documentation for more details, and ReadTheDocs for detailed information.
Check our template repository for OCanren projects for faster startup!
OCanren is available in main OPAM repository
opam install OCanren --yes
To try out developer version use
opam pin add OCanren --dev-repo --yes