🚀 go-pugleaf

Yes 209 and 201 should be _209 and _201.  It occurred to me that I 
should have given a more extended example of this behavior of 'findall'.
Consider the following:

?- findall(X,member(X,[Y,Z,Y],S). 
 
  X = _54
  Y = _98
  Z = _111
  S = [_230,_222,_214]

Here the variables are not only replaced, they're not even replaced 
consistently.  Serious bugs are imaginable.  But in the following case,
the variables are replaced consistently:

 ?- findall(X,X = [Y,Z,Y],S).

  X = _54
  Y = _84
  Z = _97
  S = [[_193,_195,_193]]

This behavior is potentially useful. But, is it intended? Does any other
Prolog work this way, or is TI-Prolog unique?

                                           -- Dale Gerdemann
                                              University of Ill
                                              Dept. of Linguistics