occurs-check

added

ns
clojure.core.logic

type
function

(occurs-check s u v)