numbervars/3 console output
Günter Kniesel <[email protected]> Sun, 13 Apr 2014 17:21:18 +0200
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
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