Re: RA with MV attributes
From: Neo <neo55592_at_hotmail.com>
Date: 17 Jan 2007 18:52:58 -0800
Message-ID: <1169088778.716360.96650_at_11g2000cwr.googlegroups.com>
Date: 17 Jan 2007 18:52:58 -0800
Message-ID: <1169088778.716360.96650_at_11g2000cwr.googlegroups.com>
> This reminds me of Prolog's "negation as failure" approach.
Is it similar to dbd's as shown below?
A person named john.
A person named mary. It is known she has a furrarri.
It is unknown if he has or hasn't a car, bicycle, heart ...
(new 'john 'person)
(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)
Received on Thu Jan 18 2007 - 03:52:58 CET