>

added

ns
clojure.core.logic.fd

type
function

(> u v)

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