minikanren (racket): A Planet 2 package for minikanren
Keywords: logic