ロジックプログラミング

Prologという言語は、事実と規則を記述して推論エンジンに答えを導き出させる、ロジックプログラミングの代表例として知られています。

人工知能の歴史を学ぶ上で、エキスパートシステムの構築などで活躍したロジックプログラミングのパラダイムを理解することは重要だ。

手続き型言語とは全く異なるアプローチであるロジックプログラミングを学ぶことで、プログラミングに対する新しい視点を得られた。