Различия между сопоставлением с образцом и унификацией?

Я думал, что понимаю, чем сопоставление с образцом, подобное тому, что есть в Scala и Haskell, отличается от унификации, найденной в Prolog, но мое непонимание Prolog велико. Какие простые проблемы решает один, но не может решить другой? Спасибо