chickadee » mini-kanren » *o

*o n m pprocedure

A goal that unifies two logic variables n and m such that the bit-lists they represent multiply to k. Think of this as if you were doing (define k (* n m)), except that it is relational.