From dima@solvo.ru Fri Jan 18 11:25:30 2002
Received: from dual.solvo.ru (dual.solvo.ru [195.201.44.111])
	by swi.psy.uva.nl (8.11.6/8.11.2) with ESMTP id g0IAPQT19872
	for <prolog@swi.psy.uva.nl>; Fri, 18 Jan 2002 11:25:28 +0100 (MET)
Received: from dual.solvo.ru by dual.solvo.ru with esmtp
	(Smail3.2.0.114 #1) id m16RWCw-001VEjC; Fri, 18 Jan 2002 13:25:14 +0300 (MSK)
Date: Fri, 18 Jan 2002 13:25:13 +0300 (MSK)
From: =?koi8-r?B?5M3J1NLJyiDzLiDr1drYzcnO?= <dima@solvo.ru>
To: prolog@swi.psy.uva.nl
In-Reply-To: <200201141301.g0ED1PT14398@swi.psy.uva.nl>
Message-ID: <Pine.LNX.4.40.0201181318340.26685-100000@dual.solvo.ru>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Subject: [SWIPL] atom_length/2 behavior


?- atom_length(1,A).
A = 1
Yes
?- atom_length([],A).
A = 2
Yes
?- atom_length([-],A).
A = 1
Yes
?- atom_length([-,2],A).
A = 2
Yes

?- atom_length([-,2,3],A).
A = 3
Yes

?- atom([-,2,3]).
No

%% Question : WHY ?

