[astrange]

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.

[jamesfisher]

> you can imagine more

My imagination is failing me! Can you give more examples?

[ragebol]

Differential computing comes to mind. Kinda like prolog in that you can run a function in reverse.