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

ADDED: sign/1 is now reifiable.

Browse Source 
This addresses #1500.
This commit is contained in:
Markus Triska
2023-01-11 17:22:38 +01:00
parent 0c4d93f01f
commit c5caa9d311
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib/clpz.pl
View File

@@ -3542,6 +3542,7 @@ parse_reified(E, R, D,
m(msb(A)) => [function(D,msb,A,R)], m(msb(A)) => [function(D,msb,A,R)],
m(lsb(A)) => [function(D,lsb,A,R)], m(lsb(A)) => [function(D,lsb,A,R)],
m(popcount(A)) => [function(D,popcount,A,R)], m(popcount(A)) => [function(D,popcount,A,R)],
m(sign(A)) => [function(D,sign,A,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(A/\B) => [function(D,/\,A,B,R)],