Applying the Koch method to Prolog [video] (youtube.com)

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.