Re: [Xsb-development] new bugs (3!), test3: wrong answer in wf negation?

[<ki...@cs...>]

> > ?-  (derived_mvd(O,'flora_@'(M,S),Q), fail;
> >          get_residual(derived_mvd(O,'flora_@'(M,S),Q),[])),
> >    writeln(get_residual(derived_mvd(O,'flora_@'(M,S),Q),[])), fail.
> >
> > and
> > 
> > ?- (derived_mvd(pps,'flora_@'(produces,2),passatC);
> >    get_residual(derived_mvd(pps,'flora_@'(produces,2),passatC),[])).
> > 
> > Note that the second query is an instantiation of the first query.
> 
> Not quite!

Yes, you are right! I should have put "fail" in there.
However, the atom

    derived_mvd(pps,'flora_@'(produces,2),passatC),[])

should be true unconditionally.
I'll send in better arguments later.


	--michael