chickadee » mini-kanren » -o

minuso n m kprocedure
-o n m kprocedure

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