Inst variables

[Thomas Charles CONWAY]

What are the scoping rules for inst variables?
I'm thinking of the case where you have two pred expressions
that contain parametric modes using inst variables:

p(ListSkelStuff, FinalList) :-
	map((pred(A::in(skeleton(I)), B::out(skeleton(J))) is det :-
		...
	), ListSkelStuff, OtherStuff),
	map((pred(A::in(skeleton(J)), B::out) is det :-
		...
	), OtherStuff, FinalList).

Thomas
-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+