Re: Review of F&R doc

On 23 Jun 2009, at 14:08, Axel Polleres wrote:
> > 2.3.1 Motivations
> >  >
> >  > Perhaps it should say something like "Negation by failure is  
> possible
> >  > in many cases"? I'm not sure that anyone has shown that it can  
> be done
> >  > in all cases.
>
> I suggest to add:
>
> "TODO: Add a reference to the general proof how Negation as failure  
> can be done using OPTIONALs and FILTER, e.g.

I don't think that's necessary. The fact that it's been demonstrated  
is enough.

- Steve