%Interactions between local and import
%G. Nadathur; G. Tong: Realyzing Modularity in lambda prolog,
%28.04.1999
module m3.
type r, w, s o.

w:-s.
r.

module m2.
import m3.
local r o.

type p o.

p:-w.


module m1.
import m2.

type q, r o.

q:-p.
s:-r.

%#query m1.
%goal q fails:
%?- spy _ q.
%Solving goal: q
%Solving goal: p
%Solving goal: w
%Solving goal: s
%Solving goal: r

%no

%Terzo> #query m1,m2,m3.
%?- spy _ q.
%Solving goal: q
%Solving goal: p
%Solving goal: w
%Solving goal: s

%no