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