chickadee » mini-kanren » numbero

A tagged constraint goal that succeeds if-and-only-if n can be unified with a number.