The family of miniKanren derivatives has many implementations. This one is typed embedding to OCaml. The original implementation for this is in scheme and can be found at https://github.com/michaelballantyne/faster-miniKanren .
- disequality constraints
- relational standard library: lists, nats
Published: 03 May 2022
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.
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