manshengyang / minikanren-ocamlLinks
miniKanren in OCaml
☆31Updated 2 years ago
Alternatives and similar repositories for minikanren-ocaml
Users that are interested in minikanren-ocaml are comparing it to the libraries listed below
Sorting:
- Minimalistic logic programming framework☆22Updated 5 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated last year
- Choice operator in OCaml, providing a backtracking monad