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 |
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.tar.gz sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2 sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/OCanren/OCanren.0.3.0/opam |
Required by
- noCanren>=0.3.0~alpha1
- OCanren-ppx=0.3.0~alpha1