Re: RA with MV attributes

From: David <davidbl_at_iinet.net.au>
Date: 17 Jan 2007 18:59:28 -0800
Message-ID: <1169089167.992173.207740@l53g2000cwa.googlegroups.com>

Neo wrote:
> > This reminds me of Prolog's "negation as failure" approach.
>
> Is it similar to dbd's as shown below?
>
> A person named john.
> It is unknown if he has or hasn't a car, bicycle, heart ...
> (new 'john 'person)
>
> A person named mary. It is known she has a furrarri.
> (new 'furrarri 'car)
> (new 'mary 'person)
> (set mary has furrarri)
>
> A person named bob. It is known he does not have a bug.
> (new 'bug 'car)
> (new 'bob 'person)
> (set bob hasn't bug)

Does the query engine know that "hasn't" means "not has"? Received on Wed Jan 17 2007 - 20:59:28 CST