From ok@atlas.otago.ac.nz Thu Aug 16 05:02:43 2001
Received: from atlas.otago.ac.nz (atlas.otago.ac.nz [139.80.32.250])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f7G32fb03336
	for <prolog@swi.psy.uva.nl>; Thu, 16 Aug 2001 05:02:42 +0200 (MET DST)
Received: (from ok@localhost)
	by atlas.otago.ac.nz (8.9.3/8.9.3) id PAA62210;
	Thu, 16 Aug 2001 15:02:30 +1200 (NZST)
Date: Thu, 16 Aug 2001 15:02:30 +1200 (NZST)
From: "Richard A. O'Keefe" <ok@atlas.otago.ac.nz>
Message-Id: <200108160302.PAA62210@atlas.otago.ac.nz>
To: ad@solvo.ru, prolog@swi.psy.uva.nl
Subject: Re:  [SWIPL] Q

"Andrew V. Diatchkov" <ad@solvo.ru> 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?

