Luiz Fernando Bueno Rosa

icon location I'm a Computer Engineering student very passionate about coding and with interest in learning about all things.

Results 1 issues of Luiz Fernando Bueno Rosa

[SWI-Prolog] - (negative) operator misbehaving in clpfd with set_prolog_flag(clpfd_monotonic, true).

1 comment

The expression `?- #(Y) #= 2, #(X) #= ( (-#(Y)) /\ 1).` returns the following stack trace: ``` ERROR: Domain error: `clpfd_expression' expected, found `-#(2)' ERROR: In: ERROR: [19] throw(error(domain_error(clpfd_expression,...),_10238))...