A More Dynamic Unfolding (Cont'd.)

This Slide is Shown as Demo

• Execution trace:

  

• Same scale as before.
• Not as good as explicit flattening.
• But still better than simple recursion.
• Problems:
  • Choosing the ``reformant'' level.
  • Ideal level perhaps not known at compile-time.
  • Growing size of Prolog program.