論理型言語

論理型言語は、事実と推論の規則を記述し、問合せに対して論理的な推論で答えを求めるプログラム言語です。Prologが代表例です。

■ 試験で押さえるポイント

• 「何が成り立つか」を記述し、処理の順序は推論の仕組みに任せます。

• 条件に合わないときは、前の選択に戻って別の候補を試します（バックトラッキング）。

• エキスパートシステムなどに使われます。

■ 選択肢での判断ポイント

事実、規則、問合せが特徴で、Prologが代表例です。