On 2007/02/23, at 21:28, Tushar Parekh wrote:

goal: atomic([]) returns yes
indicating that an empty list is an atomic value.

Which is a correct answer. The empty list is an atom, not a list. I leave you with a question that might help: how do you terminate a linked list in e.g. C or Pascal?

Best regards,

Paulo


-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 4.3  Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:[EMAIL PROTECTED]>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------





_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog

Reply via email to