%Interactions between import and accumulate
%G. Nadathur; G. Tong: Realyzing Modularity in lambda prolog,
%28.04.1999

module m3.
type t, w o.

t :- w.

module m1.

type w o.

w.

module m2.
import m1.

type p o.

p:-w.

module m4.
accumulate m2, m3.
type q, r, s o.
q :- p.
r :- t.
s :- w.

%#query m4.

%?- q.

%solved
%?- r.

%no
%?- s.

%no