From _nicki@mail.ru Mon May 14 14:14:35 2001
Received: from mx10.port.ru (mx10.port.ru [194.67.23.89])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f4ECEY329850
	for <prolog@swi.psy.uva.nl>; Mon, 14 May 2001 14:14:35 +0200 (MET DST)
Received: from ts2-a94.dial.sovam.com ([195.239.7.222] helo=unemployed)
	by mx10.port.ru with smtp (Exim 3.14 #19)
	id 14zHF0-0005kE-00
	for prolog@swi.psy.uva.nl; Mon, 14 May 2001 16:14:24 +0400
Message-ID: <001b01c0dc6f$ba69f280$fc02efc3@unemployed>
From: =?koi8-r?B?7snLz8zByiDmxcTP0s/X?= <_nicki@mail.ru>
To: "Prolog Mailing List" <prolog@swi.psy.uva.nl>
Subject: [SWIPL]
Date: Mon, 14 May 2001 16:07:17 +0400
MIME-Version: 1.0
Content-Type: text/plain;
	charset="koi8-r"
Content-Transfer-Encoding: 7bit
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

Hi.

:- op(120, xfy,  w).

conc(X, Y, X w Y).

[debug]  ?- conc( a w b, c w d, X).
   Call: (6) conc(a w b, c w d, _G404) ? creep
   Exit: (6) conc(a w b, c w d,  (a w b)w c w d) ? creep

X = (a w b)w c w d 

Yes
[debug]  ?- 

    Why not  X = a w b w c w d ?
    How can I eliminate this?

Thanx one more time.
/Nick/


