&gt;&gt; And I rather like Prolog syntax, it simple, concise, consistent and truly homoiconic though with operators.<p>I first got interested in Erlang because of its Prolog-like syntax. I was a little bit disappointed when I realised it doesn&#x27;t actually use unification. That would have been a great feature- why was it left out of the language, I wonder?