Erlang : パターンマッチ

Erlangのパターンマッチに関するエントリーを見かけたので、ひとつ。
他の言語と比較してErlangのパターンマッチで面白いと思っている特徴。

eqlHead([A|_],[A|_]) = true;
eqlHead(_,_) = false.

これは、Prologでも同じかな？
同じように見えても、Cleanでは、こうはいかなくって

eqlHead [a:_] [b:_] | a == b = True
eqlHead _ _ = False

となるはず。