Re: deductive databases
From: Robert Low <mtx014_at_coventry.ac.uk>
Date: Sat, 14 May 2005 18:02:11 +0100
Message-ID: <3emp6uF3ut5kU2_at_individual.net>
> If the inference procedure "knew" about equality, we could write
> car(cons(X, Y)) = X, or equivalently X = car(cons(X, Y))
> In Prolog, it doesn't, so /one/ way to express "car" relation is like I did.
Date: Sat, 14 May 2005 18:02:11 +0100
Message-ID: <3emp6uF3ut5kU2_at_individual.net>
alex goldman wrote:
> Robert Low wrote:
>>So it's just the statement that car of cons(X,Y) is X?
> If the inference procedure "knew" about equality, we could write
> car(cons(X, Y)) = X, or equivalently X = car(cons(X, Y))
> In Prolog, it doesn't, so /one/ way to express "car" relation is like I did.
Oh, OK, I see where I've been misinterpreting what you wrote now. Received on Sat May 14 2005 - 19:02:11 CEST