explorations of multi-stage logic programming in miniKanren - View it on GitHub