rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FIXED: reification of (xor)/2.

Browse Source 
Example:

    ?- A #= 1 xor 0 #<==> R.
    %@    clpz:(A#=1#<==>R), clpz:(R in 0..1).
This commit is contained in:
Markus Triska
2023-01-10 22:06:16 +01:00
parent 2fe1d2ef53
commit cc420bd31a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View File

@@ -3,7 +3,7 @@
Author: Markus Triska Author: Markus Triska
E-mail: triska@metalevel.at E-mail: triska@metalevel.at
WWW: https://www.metalevel.at WWW: https://www.metalevel.at
Copyright (C): 2016-2022 Markus Triska Copyright (C): 2016-2023 Markus Triska
This library provides CLP(ℤ): 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(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))]] g(true) => [g(domain_error(clpz_expression, E))]]
). ).