It does therefore have a syntax heavily influenced by Prolog.
But that doesn't mean that Prolog was the only incluence. The Erlang case expression for pattern matching doesn't really correspond to anything in Prolog, it does look more similar to ML-family languages. The multi-branch if expression looks like a Lisp cond form and again not that much like Prolog.