その後は結婚して子育てをしていたが、退所した事務所を通じて受け取っていた同世代の子持ち女性たちからのファンレターをきっかけに、バルーンパフォーマーとしての活動を再開。保育士の資格を活かし、子供向けイベントの司会ならびに企画立案にも携わっている。また、同様に富山県内で活動する女性アーティストたちとのユニット活動も展開している。なお、ユニフィケーションを単一化あるいは統一化とも呼ぶ。一階の項の統語論的ユニフィケーション.一階の項.置換.一階の項における統語論的ユニフィケーション問題.となる。出現検査.非形式的概要.一階のユニフィケーションは、一階の項(変数記号や関数記号で構築される項)の統語論的ユニフィケーションである。一方高階ユニフィケーションは、高階の項(何らかの高階の変数を含む項)のユニフィケーションを指す。特定のユニフィケーションアルゴリズムの理論的属性は、入力される項の多様性に依存する。たとえば一階のユニフィケーションは決定可能であり、単一化可能な項群は必ず最大汎用単一子を持つ。しかし高階ユニフィケーションは一般に決定不能であり、最大汎用単一子を持たないことが多い。一階述語論理でのユニフィケーションの定義.論理プログラミングでのユニフィケーション.単一化(ユニフィケーション)の考え方はに代表される論理プログラミングの根底を支える重要な概念である。それは変数の内容の束縛であり、項の構成要素の全体の形式から細部までその同一性を検査する機構である。他のプログラム言語とは異なり、では=という記号はこの意味を表す。は、質問としての副目標と、これによって呼び出される述語定義の頭部の単一化が試みられ、頭部の単一化の成功した節のみ選択され、その本体が次の質問になる導出と呼ばれるダイナミックで再帰的な機構によって実行される。一般に型推論アルゴリズムは上記単一化に基づいている。では、単一化されるとは、型推論.型推論のアルゴリズムは次のようになる:宣言的特徴から、ユニフィケーションが行われる順序は通常重要ではない。高階ユニフィケーション.