chickadee » mini-kanren » /o

/o n m q rprocedure

A goal that unifies two logic variables n and m such that the bit-lists they represent divide to the quotient q with remainder r.