Keeping the Recursion Local

This Slide is Shown as Demo

• Simple transformation to keep recursion local:

  vproc([],[]).
  vproc([H|T],[HR|TR]) :-
          vproc(T,TR) &
          process_element(H,HR).

• Running this program (same scale as before):

  

• Local recursion.
• Tasks created much faster!