Matching elements of records

[Richard A. O'Keefe]

Bjorn Gustavsson <
> wrote:
	Why would you want a matching in head look like it was an assignment
	
	        X = [Y|Ys]
	
	in a body?
	
Because it *IS* an assignment in a head, of course.
In both cases, the topic, the thing being introduced,
the thing you push onto your personal working memory because you
think you will need it again, is the variable that is being bound.