Re: numbervars/3 console output

Hi Guenter,

Clarified a little.

	Cheers --- Jan

On 13-04-14 17:21, Günter Kniesel wrote:
> Dear Jan,
> 
> http://www.swi-prolog.org/pldoc/doc_for?object=numbervars/3 says that
> 
> ?- numbervars(foo(A, B, A), 0, End).
> A = '$VAR'(0),
> B = '$VAR'(1),
> End = 2.
> 
> but when I run it I get (on any 6.6.x and 7.1.x version)
> 
> ?- numbervars(foo(A, B, A), 0, End).
> A = A,
> B = B,
> End = 2.
> 
> That's highly confusing, since it looks as if nothing happens.
> 
> Regards,
> Günter
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog