目次:
定義-Prologの意味？
Programmation en Logique （Programming in Logic）またはPrologは、1次論理または1次述語計算にルーツを持つ高レベルのプログラミング言語です。 この言語は、1970年代初頭にフランスのマルセイユで、アラン・コルメラウアー率いるグループによって考案されました。 これは最初のロジックプログラミング言語の1つであり、今日でも人気があります。 これは、一般的に計算言語学および人工知能に関連付けられているプログラミング言語であり、エキスパートシステム、定理証明、および自然言語解析ツリーおよび自然言語処理上のパターンマッチングで使用されます。
TechopediaはPrologを説明します
最初のPrologシステムは、1972年にColmerauerとPhilippe Rousselによって開発され、Robert KowalskiのHorn句の手続き的解釈に基づいていました。 また、宣言的知識表現言語としての論理の使用を、知識の手続き的表現と調和させたいという欲求も一部動機付けられました。 Prologは、自然言語処理のために意図的に開発されたもので、コンピューターと人間（自然）言語の相互作用に関係しています。
Prologは、コマンドのシーケンスではなく宣言型であるため、他のプログラミング言語とは異なります。 オブジェクトのプロパティ間の関係の観点から表現され、ファクトおよびルールとして表示されるため、ルールベースまたは宣言型言語と呼ばれることもあります。 これらの関係に対してクエリを実行することにより、計算が開始されます。
アプリケーションが含まれます：
- 機械学習
- ロボット計画
- 自動推論
- 問題解決
- インテリジェントなデータベース検索
- 自然言語理解
- 仕様言語
