Mercury, which is Prolog inspired, is actually a very interesting underrated language!

I think languages need to lean harder in the direction of doing more with functions than just evaluating them. Unification is one example, but you can imagine more.