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 standart 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/releases/download/0.2.0/OCanren-ppx-0.2.0.tbz sha256=77dd4b9d2b41f908ee4871612e78f455f9f0200a8c70321fcc82ebb53c86b4f0 sha512=c5dab91f59060f5dd5aecef5665e9235d8317cf071603070b0eef84ba6dc3a6ac027a8cf8aa37262109edb309b83c05f355a53c6718e43438164740c6b8715d4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/OCanren/OCanren.0.2.0/opam |
No package is dependent
