zKanren (racket): -
Keywords: logic|miniKanren