何のプログラミング言語でもいいから
２つの項を入力されたらmost general unifierを出力する
*(1,y) *(x,+(a,b)) -> {x->1,y->+(a,b)}
のようなものを作れ、という課題が出たのですが、mathematicaでもできるらしいと聞きました。
mathematicaではどうすればいいのかどなたか教えていただけないでしょうか。