Erlang has Prolog roots. Like Prolog, its syntax is not pretty, which has hindered wider adoption.

I wonder if Prolog is strictly necessary these days, even for uses cases in its niche, that is, logic programming. It seems one can achieve the same functionality as Prolog with an internal DSL built on top of a more mainstream language.