- /o n m q rprocedure
A goal that unifies two logic variables n and m such that the bit-lists they represent divide to the quotient q with remainder r.
A goal that unifies two logic variables n and m such that the bit-lists they represent divide to the quotient q with remainder r.