no defaulty conjunctions in residual goals
no defaulty conjunctions in residual goals

   %?- X / Y #= Z #<==> B.
   %@ _G2411#=1#==>X/Y#=_G2415,
   %@ Y#\=0#==>_G2411#=1,
   %@ _G2411#/\_G2415#=Z#<==>B,
   %@ B in 0..1.

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