From sota@midway.uchicago.edu Mon Jun 11 16:33:11 2001
Received: from midway.uchicago.edu (midway.uchicago.edu [128.135.12.12])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f5BEXA328573
	for <prolog@swi.psy.uva.nl>; Mon, 11 Jun 2001 16:33:11 +0200 (MET DST)
Received: from localhost (hal-9000.uchicago.edu [128.135.150.129])
	by midway.uchicago.edu (8.11.3/8.11.3) with ESMTP id f5BEX9m04055
	for <prolog@swi.psy.uva.nl>; Mon, 11 Jun 2001 09:33:09 -0500 (CDT)
To: prolog@swi.psy.uva.nl
X-Mailer: Mew version 1.94.2 on Emacs 19.34 / Mule 2.3 (SUETSUMUHANA)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20010611093059P.sota@midway.uchicago.edu>
Date: Mon, 11 Jun 2001 09:30:59 -0700
From: Satoshi Ota (OOta) <sota@midway.uchicago.edu>
X-Dispatcher: imput version 991025(IM133)
Lines: 19
Subject: [SWIPL] Vector

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.

Thanks,

---
Satoshi


