Паттерн матчинг в функциональном программировании и унификация выражений из логического программирования – это концептуально одно и тоже?