[Yap-users] Forall/2 Problem

[Edward S. <esc...@ce...>]

Hi all,

I am encountering another strange problem.  It's difficult to reproduce
in a small example, but should the following rule ever print "WHY?":

testcase :-
    forall(foo(I, F, P, O, T, E, M),
            (foo(I, F, P, O, T, E, M);
            writeln('why?'))).

Is it possible this is a bug relating to tabling (foo is tabled)?  How
can I debug this?

Thanks,

Ed