Algorithm 5-13 LA partition-L

Example 5-10 The following logic algorithm for plateau N,E,P) has been designed with N as induction parameter. A design with P as induction parameter would yield a quite similar logic algorithm. Note the intricate way in which HP is unified with the correct value. Parameter E is an auxiliary parameter. 

Example 5-11 The following logic algorithm for sort L,S) has been designed with L as induction parameter, following the Intrinsic Heuristic. The result is the Insertion-Sort algorithm. 

---