trealla icon indicating copy to clipboard operation
trealla copied to clipboard

Published 20 hours ago • verified publisher icon trealla-prolog

dif/2 redundant

Open UWN opened this issue 1 year ago • 3 comments 

?- A=A*B*[],B=C*C*a,dif(A,B).
   A = ... * ... * ( ... * ...)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[],
   B = C*C*a.
?- dif(A,B),A=A*B*[],B=C*C*a.
   A = ... * ... * ( ... * ...)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[], B = C*C*a,
   dif:dif( ... * ... * ( ... * ...)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[],C*C*a),
   unexpected.

UWN avatar Dec 19 '23 09:12 UWN

unfixed (and I thus stopped searching for further counterexamples)

UWN avatar Jan 09 '24 09:01 UWN

Now:

?- dif(A,B),A=A*B*[],B=C*C*a.
   A = A*(C*C*a)*[], B = C*C*a, .
                            ^^^^^^^^^^

UWN avatar Feb 09 '24 20:02 UWN

Back to:

?- A=A*B*[],B=C*C*a,dif(A,B).
   A = A*(C*C*a)*[], B = C*C*a.
?- dif(A,B),A=A*B*[],B=C*C*a.
   A = A*(C*C*a)*[], B = C*C*a, dif:dif(A*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[]*(C*C*a)*[],C*C*a), unexpected.

UWN avatar Jun 04 '24 18:06 UWN