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

AuthorsDmitrii 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
Published
Homepagehttps://github.com/JetBrains-Research/OCanren
Issue Trackerhttps://github.com/JetBrains-Research/OCanren/issues
MaintainerDmitrii 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
StatisticsInstalled 11 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/OCanren/OCanren.0.2.0/opam
No package is dependent