Re: PIZZA time again :-)
From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Tue, 06 Sep 2005 17:18:50 +0200
Message-ID: <431db2e9$0$11065$e4fe514c_at_news.xs4all.nl>
Date: Tue, 06 Sep 2005 17:18:50 +0200
Message-ID: <431db2e9$0$11065$e4fe514c_at_news.xs4all.nl>
dawn wrote:
> I don't know how you define a merge when there isn't an ordering
> defined on the type. Is there such a function? ...
No function, because that would mean there
would be a mapping to one result, no?
I'm trying to put together some code,
which hopefully demonstrates such a merge.
It's in prolog. You can read it in clp.
I'm not crossposting it to cdt.
Received on Tue Sep 06 2005 - 17:18:50 CEST