IT資格用語解説応用情報技術者試験・ソフトウェアユニットの作成
論理型プログラミング
更新日:
用語解説
論理型プログラミングは、プログラムを「事実」と「規則」の集まりとして書き、推論の仕組みが自動で答えを導くプログラミングの方法です。
■ 試験で押さえるポイント
代表的な言語は、Prologです。
答えを探すとき、うまくいかなければ戻って別の道を試します（バックトラック）。
■ 過去問での着眼点
手順ではなく、事実と規則を書く宣言的な方法である点を押さえます。
例: 「AはBの親」「親の親は祖父母」と書き、「Aの孫はだれか」を問い合わせます。