[eclipse-clp-users] posting ic constraints does not terminate

Dear Kish and all,

the following clause does not terminate.  The current version and 5.10 #145
show the same result.

:- lib(ic). 

infinite_loop :-

    integers([V1,V2]),
    ic:(V2 >= 1),
    ic:(V1 > V2),
    ic:(V1 $= V2).

I've also file a bug report (#629).  Sorry for my impatience but the bug
blocks me.

Thanks,

Ulrich