Two words: loop invariant. Implement a system that figures out the right loop invariant given a problem description (expressed however you want), and you will h

Two words: loop invariant. Implement a system that figures out the right loop invariant given a problem description (expressed however you want), and you will have made a lot of progress.