Re: [PRD] review of the frozen draft of Nov 25

On Sat, 6 Dec 2008 00:42:44 +0100
"Adrian Paschke" <adrian.paschke@gmx.de> wrote:

> As a result you would now get {p,q,s} (which is also the inflationary model
> of it) from a production rule program 
> 
>      p :- q
>      q :- NOT r
>      s :- NOT p
> 
> as opposed to default negated logical model where you only would get {p, q}
> but not s.

Adrian,
I think both {p,q} and {p,q,s} are possible in production systems, right?
(That is, if q :- NOT r is selected first.)
Is this what you meant?

michael