論理プログラミングとは何ですか？

論理プログラミングは、数学的アルゴリズムの使用など、数学的論理を使用して決定を下す方法について、プログラマーがコンピューターの指示を提供する必要があるコンピュータープログラミングの一種です。コンピュータープログラムは、コンピューターに何をすべきかを伝えるコードで構成されています。ただし、最終的には、コンピューターは、進行方法を決定する必要があるインスタンスに遭遇し、これを行う方法についての情報なしで、現在の機能を完了できませんでした。ロジックプログラミングは、これらのタイプの決定を扱い、コンピューターに指示を提供するため、特定の状況に最適な方法について論理的な決定を下すことができます。ロジックプログラミングが機能するためには、コードを書くプログラマが彼女のステートメントが意味を持ち、真実であることを確認する必要があります。コード。定理は、以前のステートメントに基づいて真であることが示されている声明です。論理プログラミングでは、定理プロバーは、コンピュータープログラマーによって作成されたステートメントと連携して結論に達します。たとえば、コードがAがBに等しく、BがCに等しいと述べている場合、定理プロバーはAがCに等しくなければならないという論理的な結論を出します。AがCに等しいというコードは、コンピュータープログラムが定理プロバーとコードの元のステートメントを使用してこの結論を描く必要があるためです。正確で、定理プロバーの作成者は、プログラムがステートメントを読んで、それらに基づいて最も効率的な決定を下すことができるようにする必要があります。効率的な決定を下す能力は、論理的に機能するコンピューターと呼ばれます。現実には、作業の2つの分野が重複しており、論理プログラミングを実行する人は、しばしば、定理プロバーが必要な結果を達成するためにどのように機能するかに基づいて、コードを変更および操作する必要があります。特定の決定を下す方法について正確なステートメントを入れるだけで、コンピューターに正しい機能を実行するのに十分ではないかもしれません。プログラマーは、それに応じてコードをテストして調整する必要があります。後方の推論に依存しています。後方の推論では、このプログラムは、一連のデータを調べ、一般的な既知のステートメントから作業してより高度な結論に達することで結論に達します。このプログラムは、2つの情報が真であることを知っているかもしれませんし、これらの2つの情報が真であるため、3番目の情報も真であることを意味すると推測します。このプロセスは、与えられた情報に基づいて論理的な結論に達するまで継続します。その仕組みにより、論理プログラミングは宣言的な表現言語に基づいて構築されています。つまり、プログラムはコンピューターに何をすべきかを伝えますが、定理プロバーに任せて、要求された手順を実行する最も論理的または効率的な方法を決定します。