Subject: [SWIPL]

From: Николай Федоров <[email-masked]>
Date: Mon, 14 May 2001 16:07:17 +0400

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/