エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ユニフィケーションアルゴリズム - Qiita
1階述語論理の推論。ユニフィケーションアルゴリズム。2つの式を比較し、変数に割り当てを行う。ユニフ... 1階述語論理の推論。ユニフィケーションアルゴリズム。2つの式を比較し、変数に割り当てを行う。ユニフィケーションの和訳は単一化。 "Artificial Intelligence: A Modern Approach" 英語版第三版 9.2 節 (p.328) より。 擬似コード function unify(x, y, dic) if dic == 失敗 return 失敗 else if x == y return dic else if x が変数 return unifyVar(x, y, dic) else if y が変数 return unifyVar(y, x, dic) else if x が 関数 かつ y が関数 return unify(xの引数, yの引数, unify(xの関数名, yの関数名, dic)) else if x がリスト かつ y がリスト ret