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

module m1.
kind i type.
local a i.
type q i -> o.

q(a).

module m2.
accumulate m1.

type a, b i.
type p, r i -> o.

p(b) :- q(a).
r(b) :- q(X).

%#query m2.
%?- r(b).

%no
%?- p(b).

%no
%?- q(a).

%no
%?- q(A).

%A = a

%?-