process-dom

added

ns
clojure.core.logic.fd

type
function

(process-dom x dom domp)

If x is a var we update its domain. If it's an integer
we check that it's a member of the given domain. dom is
then new domain, it should have already been calculated from
domp which was the previous domain.