GitHub repository: sarvex/minikanren-ocaml
Primary language: OCaml
Description: miniKanren in OCaml