Day two of MiniKanren starts by covering matching with matche which is a macro that allows you to do common matching operations with less boilerplate.But of course once you start down that route you are going to want to be able to lose the boilerplate from your whole function definition. That̵ …

My last brush with logic programming was when I was working through the original Seven Languages in Seven Weeks back in 2011 and learning a little bit of Prolog. That was an eye opening experience — letting the computer do the work just didn’t feel like any coding I had done before.The …