[dmbarbour]

More paradigms:

Maude. Pure. OBJ3 - term rewriting

Inform 7 - object-relational

Kaleidoscope. - constraint imperative

Bloom. Dedalus. - Temporal Logic; monotonic data.

Excel. Spreadsheets. - reactive dataflow.

Conway's Game of Life - Cellular automata.

Oz/Mozart - distributed unification.

I would suggest Dedalus (datalog + time) as a cleaner example than Prolog of how to lift logic programming into general purpose computation.