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

From: Ulrich Scholz <Ulrich.Scholz_at_...10...>
Date: Tue, 13 Jan 2009 12:59:17 +0100
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
Received on Tue Jan 13 2009 - 14:18:26 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET