@mcc @dysfun huh, i ddin't know about kanren even though Clojure's builtin logic programming is based on it and I used to teach a class that uses it. That's pretty cool.