module m3.
%W. Nauber 30.05.05

type r, w, s o.

w:-s.
r.

module m2.
accumulate m3.

type p o.

p:-w.


module m1.
accumulate m2.

type q o.

q:-p.
s:-r.

%#query m1.
%?- q.

%solved
%?- p.

%solved
%?- w.

%solved
%?- s.

%solved
%?- r.

%solved
%?-