🚀 go-pugleaf

>The efficiency of 'X1 is X0 + 1' can substantially be increased
>if at compile time we known that it is actually destructive assignment
>and that we can safely reuse the memory cel of X0 for X1.
>This kind of information can be derived by doing global analysis of the 
>PROLOG program.  At our department a framework for abstract interpretation
>has been developed and one of the applications is concerned with detecting
>opportunities for compile time garbage collection, as is required for the 
>example at hand.

I don't think this is relevant.  Expressions like this can be compiled
efficiently,  re-using memory-locations/registers without global
analaysis for  compile-time garbage collection. This analysis
becomes useful when compund terms are involved.

Andrew