detect linear inequalities first
detect linear inequalities first

Example:

   %?- (5-X) - (3-Y) #> 3.
   %@ X#=<Y+ -2.

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