I used the plugin to run the Chez version of minikanren some time ago. I think it was this one: https://github.com/Syntacticlosure/chez-runner https://github.c

I used the plugin to run the Chez version of minikanren some time ago. I think it was this one: https://github.com/Syntacticlosure/chez-runner https://github.com/Syntacticlosure/chez-runner There might be more on the racket package server.