Re: [eclipse-clp-users] Bug in tutorial section on bounds consistency?

Hi David,

I think you are correct. Thanks for noticing the error!

Cheers,

Kish

David Pautler wrote:
> In the tutorial, in the section on bounds consistency,
> 
>   http://87.230.22.228/doc/tutorial/tutorial101.html#toc103
> 
>   ?- [X, Y] :: 1 .. 5, X #= Y + 1, X #\= 3
> 
> shouldn't "the value 4 for Y was not removed" say instead "the value 2 for
> Y was not removed"?
> 
> 
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.