+

added

ns
clojure.core.logic.fd

type
function

(+ x y sum)

A finite domain constraint for addition and subtraction.
x, y & sum must eventually be given domains if vars.