==c
added
ns
clojure.core.logic.fd
type
function
(==c u v)