GitHub repository: Kakadu/OCanren
Primary language: OCaml
Description: Statically typed embedding of miniKanren relational programming language into OCaml