`/o``n``m``q``r`procedureA goal that unifies two logic variables

`n`and`m`such that the bit-lists they represent divide to the quotient`q`with remainder`r`.

`/o``n``m``q``r`procedureA goal that unifies two logic variables

`n`and`m`such that the bit-lists they represent divide to the quotient`q`with remainder`r`.