ENHANCED: dif/2: Omit entailed residual goals. Ulrich Neumerkel, issue #15.
ENHANCED: dif/2: Omit entailed residual goals. Ulrich Neumerkel, issue #15.

Example, previously:

   ?- dif(X-Y, 1-2), X = Y.
   %@ X = Y,
   %@ dif(f(Y, Y), f(1, 2)).

Now:

   ?- dif(X-Y, 1-2), X = Y.
   %@ X = Y.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel