`minuso``n``m``k`procedure`-o``n``m``k`procedureA 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.

`minuso``n``m``k`procedure`-o``n``m``k`procedureA 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.