Passive unificationは unify2.c で定義されている。 eq_terms_body(x, y) なる関数で、x, yは比較対象の項であり、 両者が同一かどうかを検査している。
内部で行っていることはごく単純であり、単純比較し、 同一でない場合でかつ構造の場合には再帰的に比較を行っている。 また、末尾再帰最適化をかけたコードになっている。
特記すべきなのは以下の2点である。
