`*o``n``m``p`procedureA 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.

`*o``n``m``p`procedureA 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.