Re: deductive databases
From: Robert Low <mtx014_at_coventry.ac.uk>
Date: Sat, 14 May 2005 15:57:30 +0100
Message-ID: <3emht6F3tlokU1_at_individual.net>
Date: Sat, 14 May 2005 15:57:30 +0100
Message-ID: <3emht6F3tlokU1_at_individual.net>
alex goldman wrote:
> Robert Low wrote:
>>But what is car(cons(X,Y),X)?
> It's a relation (whereas in Lips, it would be a function)
So it's just the statement that car of cons(X,Y) is X? (To put it another way, the pair (Z,X) satisfies car(Z,X) iff X is car(Z)?) Received on Sat May 14 2005 - 16:57:30 CEST