プロローグとは？

1970年代初頭に考案されたPrologは、おそらくプログラムとロジックという言葉の組み合わせであり、最も初期のコンピュータープログラミング言語の1つです。 部分的には、1次ロジックとほとんど計算を使用しない非常に単純なコードであるため、まだ一般的に使用されています。 元の命令セットは、プロセス言語に特に適しているため、大幅に拡大され、多くのバリアントに開発されました。 プログラムのこれら2つの主要な属性は、人工知能や自動通信などのアプリケーションの処理を提供します。

プロローグは、正式な一次ロジックを使用します。 コンピューターにアップロードされた指示はしっかりしています。 ファジーな計算上の重みはありません。 式では、言語の構文は有限のルールセットであり、通常、単一の記述子、複数のリストおよび文字列などのセット、または数値シーケンスなどの範囲によってセマンティクスが定義されます。

ハイパーテキストマークアップ言語（HTML）などのよく知られたコーディングに加えて、Prologは一般に宣言型プログラミング言語と呼ばれるソフトウェアのクラスに属します。何をすべきかを伝えた。 そこに到達する方法を自分で計算するように指示されていません。 コンピューターには、「述語」と「句」として定義された関係を持つ一連のファクトが与えられ、入力クエリはそこから真と偽の出力結論を導き出す必要があります。 アルゴリズムを実行するのではなく、既知の定義のセットを加算または減算、または否定することにより、単純な答えを導き出します。 Prologのコンピューティングは、高度な数学から生物学、哲学まで、理論とその基礎となる仮定をテストおよび証明するために使用されます。

知能の認知理論の1つは、脳内に情報の大規模だが有限の語彙的記憶があり、それが検索され、処理され、フィードバックされるため、情報がより複雑または単純になることです。 メモリ容量の増加と高速アクセスにより、これはコンピューターサイエンスの聖杯である人工知能を駆り立てた支配的なパラダイムです。 この分野の多くの人にとって重要なのは、インターフェースと言語です。 Prologプログラミングを使用して、視覚的なシンボルを定義するだけで、Apple®が開発したグラフィカルユーザーインターフェイスであるGUIを作成できます。 また、表情の読み取り、翻訳、作成にも使用できます。

計算言語学はかなり困難であり、Prologは長年にわたって進歩しており、たとえば一部の外国語の固有の文法原則を取り入れていますが、多くの研究者はそれが効果的に言語を表しているかどうか疑問を呈しています。 コンピューター化された音声認識技術サポート電話回線などの限られたエキスパートシステムでは、Prologプログラミングがある程度の効果を発揮します。 また、C +やjavaなどの言語を定量化する高次の論理ソフトウェアに統合することもできますが、このデータ集約型プログラミング言語に耐える問題は圧縮と移植性のままです。