Merge pull request #2280 from notoria/clpz

Special case for `(^)/2`
mthom · Jan 9, 2024 · b56ae28 · b56ae28
2 parents cd89d71 + 902cd5c
commit b56ae28
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
@@ -5454,6 +5454,7 @@
             morph_into_propagator(MState, [Y,Z], reified_eq(1,Y,1,0,[],Z), Morph)
         ;   Y == 0 -> kill(MState), Z = 1
         ;   Y == 1 -> kill(MState), Z = X
+        ;   Y == Z -> kill(MState), X = Y, queue_goal(X in -1\/1)
         ;   nonvar(X) ->
             (   nonvar(Y) ->
                 (   Y >= 0 -> true ; X =:= -1 ),