OCanrenversion
Implementation of miniKanren relational (logic) EDSL
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 .
Features: 1) disequality constraints 2) relational standard library: lists, nats
| Authors | Dmitrii Boulytchev https://github.com/dboulytchev, Dmitrii Kosarev https://github.com/Kakadu, Evgenii Moiseenko https://github.com/eupp, Petr Lozov https://github.com/Lozov-Petr and JetBrains Research https://research.jetbrains.org |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/JetBrains-Research/OCanren |
| Issue Tracker | https://github.com/JetBrains-Research/OCanren/issues |
| Maintainer | Dmitrii Kosarev Kakadu@pm.me |
| Dependencies |
|
| Source [http] | https://github.com/JetBrains-Research/OCanren/archive/refs/tags/0.3.0-alpha1.tar.gz sha256=d530d7e64c2858796c9c3b366702d2afa96097ea0815c0c7b9b185c41c0c7db9 sha512=ff200d35f72d9ce50c862d63291c3bc6a0e9544426cf72678e2a28553110ca88382a13868af16e62526a3f8d8ba33193be023b2a8a60053f3cb21794063411f4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/OCanren/OCanren.0.3.0~alpha1/opam |
Required by
- noCanren>=0.3.0~alpha1
- OCanren-ppx=0.3.0~alpha1
