Statically typed embedding of miniKanren relational programming language into Objective Caml - View it on GitHub