- *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.
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.