From jan@swi.psy.uva.nl Mon Jun 11 16:42:42 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f5BEgg329192;
	Mon, 11 Jun 2001 16:42:42 +0200 (MET DST)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f5BEgc907670;
	Mon, 11 Jun 2001 16:42:38 +0200
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: Satoshi Ota (OOta) <sota@midway.uchicago.edu>, prolog@swi.psy.uva.nl
Subject: Re: [SWIPL] Vector
Date: Mon, 11 Jun 2001 16:41:33 +0200
X-Mailer: KMail [version 1.0.29.2]
Content-Type: text/plain
References: <20010611093059P.sota@midway.uchicago.edu>
In-Reply-To: <20010611093059P.sota@midway.uchicago.edu>
MIME-Version: 1.0
Message-Id: <01061116423701.27421@gollem>
Content-Transfer-Encoding: 8bit

On Mon, 11 Jun 2001, Satoshi Ota (OOta) wrote:
>Hi,
>
>Could anybody explain why the following relationship is true?
>
>?- [{1, 2, 3}] = [{X, Y}].
>
>X = 1
>Y = 2, 3
>
>Yes
>
>If it is a proper syntax, I want use this in my program.

Use display/1 on both terms and you'll understand it.  It is legal
Prolog and should work on any proper Prolog system.

	--- Jan

