chickadee » mini-kanren » <=o

<o n mprocedure
<=o n mprocedure

Predicate goals that succeed if-and-only-if n is less than (or equal to, in the latter case) m.