Эффективность сопоставления с образцом в Erlang

новый для Erlang. Я собираюсь начать писать код. Решение, которое я имею в виду, может идти двумя путями. Я могу выполнить кучу математических вычислений или кодировать это в основном как сопоставление с образцом. Когда я говорю «сопоставление с образцом», я НЕ имею в виду регулярное выражение или что-то в этом роде - я имею в виду сопоставление с образцом в заголовках предложений.

Производительность обычно не является проблемой, но в этом приложении она есть. Я не спрашиваю вас, какой метод будет быстрее - я уверен, вы ответите, что не знаете (зависит от многих факторов). Я спрашиваю об общей производительности сопоставления с образцом Erlang в заголовках предложений. Другими словами, в Прологе движок оптимизирован для такого рода вещей, поэтому при прочих равных вам «предлагается» разработать решение, которое использует преимущества сопоставления с образцом и унификации в заголовках предложений.

Is то же самое верно и для Erlang, т.е. оптимизирован ли Erlang для сопоставления с образцом в заголовках предложений, аналогично Prolog? Вместо того, чтобы задавать вопрос здесь, я на самом деле попытался профилировать это в Erlang и написал игрушечную программу, которая выполняет сопоставление шаблонов заголовков предложений пару миллионов раз против суммирования списка пару миллионов раз. Но система выйдет из строя, если будет работать «пару миллионов раз». Но если установить значение меньше пары миллионов, результаты вернутся слишком быстро, чтобы я мог что-то знать о производительности.

Спасибо за любые идеи.