From: Markus Triska <triska@metalevel.at>
Date: Tue, 10 Jan 2023 21:06:16 +0000 (+0100)
Subject: FIXED: reification of (xor)/2.
X-Git-Tag: v0.9.2~240^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cc420bd31a397c38b7c51dd36da6f50fcf995600;p=scryer-prolog.git

FIXED: reification of (xor)/2.

Example:

    ?- A #= 1 xor 0 #<==> R.
    %@    clpz:(A#=1#<==>R), clpz:(R in 0..1).
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 94b3d11c..a49bbd50 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3,7 +3,7 @@
     Author:        Markus Triska
     E-mail:        triska@metalevel.at
     WWW:           https://www.metalevel.at
-    Copyright (C): 2016-2022 Markus Triska
+    Copyright (C): 2016-2023 Markus Triska
 
     This library provides CLP(ℤ):
 
@@ -3546,7 +3546,7 @@ parse_reified(E, R, D,
                m(A>>B)       => [function(D,>>,A,B,R)],
                m(A/\B)       => [function(D,/\,A,B,R)],
                m(A\/B)       => [function(D,\/,A,B,R)],
-               m(xor(A, B))  => [skeleton(A,B,D,R,pxor)],
+               m(xor(A, B))  => [function(D,xor,A,B,R)],
                g(true)       => [g(domain_error(clpz_expression, E))]]
              ).