I would suggest adding:
(1) some flavor of logic programming: Prolog/Mercury, answer set programming, rule engines, symbolic rewriting :-), constraint satisfaction, ...
(2) contract- or specification-driven programming: Spec#, Eiffel, Coq, ...
Not that I think they are heavily used, but for completeness and out of curiosity.
2 comments
Should any paradigms be added
Should any paradigms be added to this?
Adding "logic programming" and "contract/specification"
I would suggest adding:
(1) some flavor of logic programming: Prolog/Mercury, answer set programming, rule engines, symbolic rewriting :-), constraint satisfaction, ...
(2) contract- or specification-driven programming: Spec#, Eiffel, Coq, ...
Not that I think they are heavily used, but for completeness and out of curiosity.