Given (as per example in docs):
?- use_module(library(clpr)).
?- {X + Y >= 1}.
In swi-prolog 8.5.8 and 8.5.9 it fails:
false.
But in 8.4.2 and 8.5.7 it succeeds:
{Y=1.0-X+_A, _A>=0.0}.
The 8.5.8 announcement did mention potential regressions. Am seeking reassurance that this is an actual bug, before reporting it 