Relational Programming in miniKanren: Techniques, Applications, and Implementations
Summary
This 2009 dissertation introduces relational programming with miniKanren, detailing techniques for logic programming with a minimal core language, multiple host-language implementations, and extensions like constraint logic programming, probabilistic logic programming, and nominal logic. It also surveys applications, workshops, and projects that demonstrate real-world problem solving and program synthesis using relational programming.