Re: atomic
From: paul c <toledobythesea_at_ooyah.ac>
Date: Wed, 07 Nov 2007 03:21:37 GMT
Message-ID: <5baYi.185076$Da.10028_at_pd7urf1no>
>
> I assume you mean
>
> r1'(Colour) :- there exists Name, Car such that r(Name, Car,
> Colour)
> ...
Date: Wed, 07 Nov 2007 03:21:37 GMT
Message-ID: <5baYi.185076$Da.10028_at_pd7urf1no>
David BL wrote:
> On Nov 7, 1:44 am, paul c <toledobythe..._at_ooyah.ac> wrote:
>> paul c wrote: >>> David BL wrote: >>> ... >>>> Is this what you mean (in Prolog): >>>> r(Name,Car,Colour) :- Name owns Car with Colour. >>>> r1'(Name,Car) :- r(Name,Car,Colour). >>>> or in natural language >>>> r1'(Name,Car) :- there exists Colour such that r(Name,Car,Colour). >>> ... >>> I think so. >> By the same token, >> >> r1'(Colour) :- there exists Name, Car such that r(Name, Car)
>
> I assume you mean
>
> r1'(Colour) :- there exists Name, Car such that r(Name, Car,
> Colour)
> ...
Sorry for the typo' and yes, that's what I meant. Received on Wed Nov 07 2007 - 04:21:37 CET