Subject: Re: [SWIPL] Vector

From: Jan Wielemaker <[email-masked]>
Date: Mon, 11 Jun 2001 16:41:33 +0200

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