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

From: David Pautler <david_at_...151...>
Date: Mon, 17 Nov 2008 05:16:02 -0800 (PST)
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"?
Received on Mon Nov 17 2008 - 13:16:04 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST