GitHub repository: reloj/staged-miniKanren
Description: explorations of multi-stage logic programming in miniKanren