Re: atomic

From: paul c <toledobythesea_at_ooyah.ac>
Date: Mon, 05 Nov 2007 16:56:37 GMT
Message-ID: <9XHXi.178822$1y4.99334_at_pd7urf2no>


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. Received on Mon Nov 05 2007 - 17:56:37 CET

Original text of this message