LambdaGoal as the name for introduced preds

[Thomas Charles CONWAY]

Hi

Local preds/funcs get transformed into normal predicates/functions -
	...
	P = pred(...) :- ...
	...

leads to the introduction of a new predicate "LambdaGoal__N".

When reading the profile of a program containing lots of these,
it can be very difficult/impossible to tell which goal in the
source code each of the LambdaGoals corresponds to. If we put
the source predicate name and/or the line number of the original
goal, it would be easier to read the profile - especially if
we improve the demangler. For example, instead of LambdaGoal__N,
we might call the pred:
	IntroducedFrom__somepredicate__47__N
which the demanger might demangle as
	pred goal defined in `somepredicate' on line 47

The `N' might be necessary if more than one pred goal is defined
on a single line.

What do people think? Comments?

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.