Clojurians Log v2

How would I define fd sum function?

clojure.core.logic.fd/+

but like, you'd have to do some apply or reduce thing to actually sum a vector

yes, you have to use reduce, and maybe and* and generate intermediate lvars