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