prevent matching cyclic arguments, as in: ?- X = X + 1, 5 #>= X.
prevent matching cyclic arguments, as in: ?- X = X + 1, 5 #>= X.

edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel