From cc420bd31a397c38b7c51dd36da6f50fcf995600 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 10 Jan 2023 22:06:16 +0100 Subject: [PATCH] FIXED: reification of (xor)/2. Example: ?- A #= 1 xor 0 #<==> R. %@ clpz:(A#=1#<==>R), clpz:(R in 0..1). --- src/lib/clpz.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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))]] ). -- 2.54.0