Тест на объединение в Оз

Question

То, что я хочу сделать, это проверить, объединяется ли одно выражение с другим в Oz.

Например, я хочу сделать что-то вроде этого:

fun {UnifyP A B}
  ...
end

что может вернуться true когда A может быть объединено с B и ложь остальное.

Я хочу использовать его для сопоставления с определенным шаблоном (т.е. фильтровать списки по определенному шаблону).

Спасибо за ответ.