miniKaren I started looking into logic programming inspired by this talk from David Nolen., here's a tutorial for miniKaren