<=

added

ns
clojure.core.logic.fd

type
function

(<= u v)

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