Applying the Koch method to Prolog
Prolog is often taught in a very ineffective and even counterproductive way. In analogy to the Koch method, consider focusing on the pure monotonic core from the start, so that the conveyed material is monotonically increasing.