On Thu, 18 Feb 2010 16:04:54 +0000 Kish Shen <kisshen_at_...5...> 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.3.0 : Tue Apr 16 2024 - 09:13:20 CEST