solutions
added
ns
clojure.core.logic
type
function
(solutions s g) (solutions s q g)