pattern-matching - 测试 Oz 中的统一性

Question

我想做的是，测试某个表达式是否与 Oz 中的另一个表达式统一。

例如，我想做这样的事情：

fun {UnifyP A B}
  ...
end

that can return truewhen Acan be unity to Band false else.

我想用它来进行特定的模式匹配（即按特定模式过滤列表）。

谢谢您的回答。