A More Dynamic Unfolding

This Slide is Shown as Demo

• We can improve the flexibility of the previous method.
• Use recursion, but have several cases for different lengths (reform compilation [Millroth]).

  vproc([H1,H2,H3,H4|T],[HR1,HR2,HR3,HR4|TR]) :-
          !,
          vproc(T,TR)  &
          process_element(H1,HR1) &
          process_element(H2,HR2) &
          process_element(H3,HR3) &
          process_element(H4,HR4).
  vproc([H1,H2,H3|T],[HR1,HR2,HR3|TR]) :-
          !,
          vproc(T,TR)  &
          process_element(H1,HR1) &
          process_element(H2,HR2) &
          process_element(H3,HR3).
  ...
  vproc([],[]).

• I.e., try to skip elements to fork out the task creation.