Erlang has a bit of Prolog heritage. You can see it in the Variable-constant and predicate/n syntax, pattern matching, multiple clauses, immutability etc... Do not know eilxir so can not say how much it affects that.