From bouquard@univ-tours.fr Wed Feb  7 11:44:08 2001
Received: from ronsard.univ-tours.fr (IDENT:root@ronsar.univ-tours.fr [193.52.209.2])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f17Ai6Z21004
	for <prolog@swi.psy.uva.nl>; Wed, 7 Feb 2001 11:44:06 +0100 (MET)
Received: from pc127 ([10.194.1.189])
	by ronsard.univ-tours.fr (8.9.3/8.9.3) with SMTP id LAA29726
	for <prolog@swi.psy.uva.nl>; Wed, 7 Feb 2001 11:25:28 +0100
Message-ID: <01ba01c090f3$d8e8ec10$bd01c20a@local>
From: "Bouquard Jean-Louis" <bouquard@univ-tours.fr>
To: <prolog@swi.psy.uva.nl>
Date: Wed, 7 Feb 2001 11:50:55 +0100
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_01B7_01C090FC.3A9B0490"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.2919.6700
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700
Subject: [SWIPL] element=singleton list

C'est un message de format MIME en plusieurs parties.

------=_NextPart_000_01B7_01C090FC.3A9B0490
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

How do you explain the confusion between a number N and a list of a =
number [N]?
 For instance, "?- [2]<3." succeeds and "?- X is [2]+3." leads to X=3D5. =

Jean-louis Bouquard


------=_NextPart_000_01B7_01C090FC.3A9B0490
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2920.0" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3D"Courier New" size=3D2>
<DIV><FONT face=3D"Courier New" size=3D2>How do you explain the =
confusion between a=20
number N and a list of&nbsp;a number [N]?</FONT></DIV>
<DIV><FONT face=3D"Courier New" size=3D2>&nbsp;For instance,</FONT><FONT =

face=3D"Courier New" size=3D2> "?- [2]&lt;3." succeeds and "?-&nbsp;X is =
[2]+3."=20
leads to X=3D5. </FONT></DIV>
<DIV><FONT face=3D"Courier New" size=3D2>Jean-louis =
Bouquard</FONT></DIV>
<DIV>&nbsp;</DIV></FONT></DIV></BODY></HTML>

------=_NextPart_000_01B7_01C090FC.3A9B0490--

