clpz
clpz copied to clipboard
sign/1 lacking
?- X #= sign(-10).
caught: error(domain_error(clpz_expression,sign(-10)),unknown(sign(-10))-1)
Expected: X = -1.
See also this comment.
?- X #= sign(-10).
caught: error(domain_error(clpz_expression,sign(-10)),unknown(sign(-10))-1)
Expected: X = -1.
See also this comment.