> hybrid languages that also incorporate some aspects of functional programming or other programming paradigms. Mercury and Mozart/Oz seem to be two of the more prominent ones

Curry also deserves a mention, I think.

https://en.m.wikipedia.org/wiki/Curry_(programming_language)