Re: [eclipse-clp-users] timeout in bb_min/3

From: Chris Mears <chris.mears_at_infotech.monash.edu.au>
Date: Fri, 19 Feb 2010 14:12:32 +1100
On Thu, 18 Feb 2010 16:04:54 +0000
Kish Shen <kisshen_at_cisco.com> wrote:

Hi Kish,

[...]

> On the other hand, for the reified version:
> 
> X,Y :: [1..1000], (X #> Y and Y #> X).
> 
> does not fail [...]

I am not sure this is exactly what you intended:

    Version 6.0 #124 (x86_64_linux), Wed Feb 17 15:23 2010
    [eclipse 1]: lib(ic).
    [...]
    Yes (0.10s cpu)
    [eclipse 2]: [X,Y] :: 1..1000000, (X #> Y and Y #> X).
    lists.eco  loaded in 0.00 seconds

    No (0.66s cpu)

Maybe you meant "or" instead of "and", or perhaps
"(X #> Y and Y #> X) #= B".
Received on Fri Feb 19 2010 - 05:49:13 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET