Subject: Re: [SWIPL] Q

From: "Richard A. O'Keefe" <[email-masked]>
Date: Thu, 16 Aug 2001 15:02:30 +1200 (NZST)

"Andrew V. Diatchkov" <[email-masked]> wrote:
	Type this:
	
	?- A = '[]',B=[],A=B.
	A = []
	B = [] 
	Yes
	
Exactly what it is supposed to do.

	Why '[]' is [] ?
	
What did you expect it to be?  It's perhaps more accurate to say
that [] is '[]':
    name([], Name), Name = "[]".

You will also find that
	X = (a,b),
	functor(X, F, 2),
	X = ','
comes out true, and that
	A = '{}', B = {}, A = B.
comes out true.

Whatever else should they do?