*

added

ns
clojure.core.logic.fd

type
function

(* x y product)

A finite domain constraint for multiplication and
thus division. x, y & product must be eventually be given 
domains if vars.