Regarding Erlang, yes early versions were implemented on top of Prolog and the heritage is there for sure. Joe Armstrong talked fondly about Prolog in later yea

Regarding Erlang, yes early versions were implemented on top of Prolog and the heritage is there for sure. Joe Armstrong talked fondly about Prolog in later years as well. For example, he described Elixir’s beloved pipe operator like this: > This is the recessive monadic gene of Prolog. The gene was dominant in Prolog, recessive in Erlang (son-of-prolog) but re-emerged in Elixir (son-of-son-of-prolog). (He was referring to so-called definite clause grammars (DCG) in Prolog.)