Merge pull request #2280 from notoria/clpz

Special case for `(^)/2`
2024-01-08 17:39:18 -07:00
parent cd89d71e0c 902cd5c3ea
commit b56ae28c45
1 changed files with 1 additions and 0 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5454,6 +5454,7 @@ run_propagator(pexp(X,Y,Z,Morph), MState) -->
            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 ),