pattern-matching - Oz での統一テスト

Question

私がやりたいことは、特定の式が Oz で別の式と統合されるかどうかをテストすることです。

たとえば、次のようなことをしたい:

fun {UnifyP A B}
  ...
end

それは、統合できるtrueときに返すことができ、それ以外の場合はfalse です。AB

これを使用して特定のパターン マッチングを行いたい (つまり、特定のパターンでリストをフィルター処理する)。

回答ありがとうございます。