Taking Advantage of Determinism

• Let us suppose that a, b, c, d, e do not push any choice-point:

  ...a & b & c & d & e ...

• As goals are independent, forward execution order is immaterial

• As goals are deterministic, no reexecution is done

• So there is no need to identify each goal separately

• Goals can be collapsed into one single stack section

• Example: