From afromant@midway.uchicago.edu  Mon Dec  6 14:34:53 1999
Received: from midway.uchicago.edu (midway.uchicago.edu [128.135.12.12])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id OAA12728
	for <prolog@swi.psy.uva.nl>; Mon, 6 Dec 1999 14:34:48 +0100 (MET)
Received: from harper.uchicago.edu (root@harper.uchicago.edu [128.135.12.7])
	by midway.uchicago.edu (8.9.3/8.9.3) with ESMTP id HAA22753;
	Mon, 6 Dec 1999 07:34:49 -0600 (CST)
Received: from equality-7-2524 (pierce-175-003.rh.uchicago.edu [128.135.175.3])
	by harper.uchicago.edu (8.9.3/8.9.3) with SMTP id HAA11209;
	Mon, 6 Dec 1999 07:34:48 -0600 (CST)
Message-Id: <199912061334.HAA11209@harper.uchicago.edu>
X-Sender: afromant@nsit-popmail.uchicago.edu
X-Mailer: QUALCOMM Windows Eudora Pro Version 4.0.1 
Date: Mon, 06 Dec 1999 07:36:10 -0500
To: Peter Mott <pmott@scs.leeds.ac.uk>, prolog@swi.psy.uva.nl
From: alexandra romantseva <afromant@midway.uchicago.edu>
Subject: Re: How to write join(X,Y)?
In-Reply-To: <3.0.2.32.19991206130646.00a4c220@csun.leeds.ac.uk>
References: <199912061254.GAA04134@harper.uchicago.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"

join(X,Y)

combines the two equivalence relations X and Y (which must work on the same 
number of things for this to make good sense)
things equivalent in X remain equivalent, 
things that are equivalent in Y remain equivalent
and some things become equivalent because of the combination of X and Y.

and the following is supposed to happen :

| ?- unitequiv(5,2,4,X), unitequiv(5,2,3,Y), join(X,Y).
X = [A,B,B,B,C]
Y = [A,B,B,B,C] ? 
no

Sorry for bein unclear.  Hope this is helpful.



Sasha



>Sasha,
>
>I don't understand the operation join(X,Y). What is its formal definition?
>Maybe other people had this problem too :-).
>
>Peter
>==========================================================
>Peter Mott                             Tel: +44 (0)113 233 5323
>School Of Computer Studies                     Fax: +44 (0)113 233 5468
>University of Leeds, Leeds LS2 9JT             Office: +44 (0)113 233 5430
>URL http://csis1.leeds.ac.uk/pmott.htm
>  
-----------------------------------------------------
Click here for Free Video!!
http://www.gohip.com/freevideo/

