プロローグとは
- Prolog はロジックでのプログラミングの略です。論理プログラミング パラダイムでは、prolog 言語が最も広く利用可能です。 Prolog は宣言型言語です。つまり、プログラムは、解決策を見つける方法を計算するのではなく、事実とルール (論理関係) に基づいたデータで構成されます。論理関係は、特定のアプリケーションに適用される関係を記述します。
- 解決策を得るには、ユーザーはプログラムを実行するのではなく、質問します。ユーザーが質問すると、その答えを決定するために、ランタイム システムは事実とルールのデータベースを検索します。
- 最初のプロローグはコルメラウアーの作品に基づいた「マルセイユ プロローグ」でした。第 4 世代プログラミング言語の主な例は prolog です。宣言型プログラミング パラダイムをサポートします。
- 1981年、日本のコンピュータプロジェクト5人が番目世代が発表されました。その後、開発言語としてPrologが採用されました。このチュートリアルでは、プログラムは「標準」エディンバラ プロローグで作成されました。 PrologII ファミリーのプロローグは、マルセイユ プロローグの子孫である別の種類のプロローグです。
- Prolog の機能は「論理変数」です。これは、統一されたデータ構造のように動作すること、証明を検索するためのバックトラッキング戦略、パターン マッチング機能、数学的変数、および入力と出力が交換可能であることを意味します。
- 答えを導き出すには、複数の方法があります。このような場合、ランタイム システムは別の解決策を見つけるように求められます。別のソリューションを生成するには、バックトラッキング戦略を使用します。 Prolog は、静的なスコープ ルールと動的な型チェックを備えた弱い型指定言語です。
- Prolog は宣言型言語であるため、解決方法ではなく、どのような問題を解決したいかを指定できます。
- Prolog はデータベース、自然言語処理、人工知能などの一部の分野で使用されていますが、数値アルゴリズムやインスタンス グラフィックスのような一部の分野ではまったく役に立ちません。
- 人工知能アプリケーションでは、prolog が使用されます。人工知能アプリケーションには、自動推論システム、自然言語インターフェイス、エキスパート システムなどがあります。エキスパート システムは、インターフェイス エンジンと事実のデータベースで構成されます。 prolog のランタイム システムは、インターフェイス エンジンのサービスを提供します。
- 基本的なロジック プログラミング環境にはリテラル値がありません。大文字の識別子とその他の識別子は変数を示します。小文字で始まる識別子はデータ値を示します。基本的な Prolog 要素には型がありません。 prolog のほとんどの実装は、整数値、文字、演算を含むように拡張されています。プロローグのメカニズムでは、タプルとリストについて説明します。
- 関数型プログラミング言語とプロローグには、Hugs のようないくつかの類似点があります。関係定義はロジックプログラムを使用して構成されます。関数型プログラミング言語は、一連の関数定義で構成されます。論理プログラミングと関数型プログラミングはどちらも再帰的定義に大きく依存します。
プロローグの応用例
prolog のアプリケーションは次のとおりです。
- 仕様言語
- ロボットの企画
- 自然言語理解
- 機械学習
- 問題解決
- インテリジェントなデータベース検索
- エキスパートシステム
- 自動推論
前提条件
Prologを学ぶ前に、
観客
Prolog チュートリアルは、初心者と専門家を支援するように設計されています。
振幅変調
問題点
この Prolog チュートリアルでは問題が見つからないことを保証します。ただし、間違いがある場合は、お問い合わせフォームに問題を投稿してください。