test :- a, fail.
test :-
	( a -> writeln('a is true') ; writeln('a is false') ),
	( b -> writeln('b is true') ; writeln('b is false') ),
	( c -> writeln('c is true') ; writeln('c is false') ),
	( d -> writeln('d is true') ; writeln('d is false') ).

%-----------------------------------------------------------------------------
%%
%% Non (left-to-right) modularly-stratified program but (left-to-right)
%% dynamically stratified.  It is working fine.
%%

:- table a/0, b/0, c/0, d/0.

a :- tnot(c), tnot(b).

b :- tnot(d).
b.

c :- tnot(d).

d :- tnot(b), fail.