clpz icon indicating copy to clipboard operation
clpz copied to clipboard

sign/1 lacking

Open UWN opened this issue 2 years ago • 2 comments

?- X #= sign(-10).
caught: error(domain_error(clpz_expression,sign(-10)),unknown(sign(-10))-1)

Expected: X = -1.

See also this comment.

UWN avatar Mar 18 '22 15:03 UWN