[chajath]

In my mind Prolog is enjoying a health afterlife in the form of Erlang (and Elixir)

[colanderman]

Beside syntax, those languages are nothing like Prolog. Notably lacking are backtracking and logic variables.

[macintux]

True, but Erlang was originally built using Prolog, so it’s true in a historical sense even if not particularly relevant now.