必ず受かる情報処理技術者試験

当サイトは、情報処理技術者試験に合格するためのWebサイトです。
ITパスポート試験，基本情報技術者,応用情報技術者,高度試験の過去問題と解答及び詳細な解説を掲載しています。
  1. トップページ
  2. キーワード
  3. ユニフィケーション

ユニフィケーション

ユニフィケーションとは、既存の事実と規則を組み合わせて、新たな命題を証明する操作である。単一化(ユニフィケーション)の考え方は Prolog に代表される論理プログラミングの根底を支える重要な概念である。

「ユニフィケーション」関連の過去問題