>=

added

ns
clojure.core.logic.fd

type
function

(>= u v)

A finite domain constraint. u must be greater than or equal to v.
u and v must eventually be given domains if vars.