プロロログ言語とは何ですか？

prologは、ロジックに基づいたコンピュータープログラミング言語です。ほとんどのコンピューター言語は、問題を解決するために必要な手順に基づいています。一方、プロログ語は、エンティティ間の論理的な関係を示す宣言的な言語です。問題を解決する方法は、コンピューターに任されています。Prologという名前は、フランスのプログラメーションEn Logique、つまりプログラミングロジックに由来しています。： - 父（p、r）、祖先（r、q）

父（ジョン、ジム）。父（ジム、ジェリー）。ジェイソン、ジョシュア）。fがCの父である場合、fはCの祖先である場合、pがqの祖先である人の父親である場合、pはQの祖先です。その後、多くの真の事実が与えられます。ジョンはジムの父です。ジョンがジェフの祖先であるかどうかについて問題の質問が提起された場合、以下のように回答がYESを受け取ります：

？ - 先祖（ジョン、ジェフ）。このプログラムは、すべての祖先を次のように表示します。評価を行う方法。たとえば、年配の人から始めて、若い人に向かって進むのか、その逆に努力するかを示していませんでした。また、以下の部品を交換する：

祖先（p、q）： - 祖先（r、q）、父（p、r）左側が真であるために真であること。プログラムの実行中、Prologは多くの真のステートメントを構築し、知識ベースを作成します。上記の例では、知識ベースは、順調に順番に、祖先（ジョン、ジム）、祖先（ジム、ジェリー）、祖先（ジョン、ジェリー）、祖先（ジム、ジェイソン）、祖先（ジョン、ジェイソン）を持っているでしょう。等々。このナレッジベースは、プログラムの実行に合わせて構築を続けることができ、ソリューションを取得するために効率的に検索できます。実行は、複数のコンピューターによる同時実行、並列処理を使用できます。英語などの自然言語専用のシステムで始まりました。自然言語は人工知能の分野の1つです。プロログ言語は、代数を含む象徴的な数学でも使用されます。他の多くのアプリケーションの中でも、定理、専門システム、および制御システムでの証明で使用されています。