3 ms·

I think minikanren in racket or core.logic in clojure nicely fill this gap now.

• lispm 8y ago
  Like hundreds of other embeddings of logic languages.