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

From: Ulrich Scholz <Ulrich.Scholz_at_eml-d.villa-bosch.de>
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.2.0 : Thu Feb 02 2012 - 02:31:58 CET