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

From: David Pautler <david_at_wooden-robot.net>
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 message: [ Message body ]
Next message: Kish Shen: "Re: [eclipse-clp-users] Saros: syntax coloring? warning about tracer_tcl?"
Previous message: David Pautler: "Re: [eclipse-clp-users] Saros: syntax coloring? warning about tracer_tcl?"
Next in thread: Kish Shen: "Re: [eclipse-clp-users] Bug in tutorial section on bounds consistency?"
Reply: Kish Shen: "Re: [eclipse-clp-users] Bug in tutorial section on bounds consistency?"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

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