I find this diagram less easy to navigate than the simpler categorization of declarative vs imperative with four subcategories: I.e. Imperative: Procedural, O

I find this diagram less easy to navigate than the simpler categorization of declarative vs imperative with four subcategories: I.e. Imperative: Procedural, Object-oriented Declarative: Functional, Logic (or better term for Prolog-esque languages - constraint-based perhaps) Four simple categories with two meta categories.