No, I think mostly he's talking about something unrelated and very important. However, his last sentence is exactly as you say: "...In the end, however, an algorithm expressed in prolog can be translated into any of the other languages, demonstrating the eventual equivalence."

And in fact he's totally wrong about logic programming. It is a completely different way to think about things, just like what he's looking for, it just doesn't happen to make for shorter programs. A very good try though.