occurs-check
added
ns
clojure.core.logic
type
function
(occurs-check s u v)