Exploring interactive programming in miniKanren (Relational Reactive Programming) - View it on GitHub