miniKanren is a family of small embedded languages that bring the power of relational (pure logic) programming to general-purpose programming. The project’s current research directions include several techniques for improving performance, including partial evaluation and functional conversion. Partial evaluation makes it possible to get rid of some inefficiencies of relational programs by statically inspecting and transforming the source code. We’re also working on converting miniKanren into a functional programming language to improve its performance.

• OCanren GitHub
• Partial evaluation and conversion
• Intro to relational programming
• miniKanren language official site