GitHub repository: takikawa/minikanren
Primary language: Racket
Description: This is a Planet 2 package for minikanren