論理プログラミングとは

論理プログラミングは、プログラマーが数学的アルゴリズムの使用など、数学的論理を使用して決定を下す方法をコンピューターに指示する必要があるコンピュータープログラミングの一種です。 コンピュータープログラムは、コンピューターに何をすべきかを伝えるコードで構成されています。 しかし、最終的には、コンピューターは処理方法を決定する必要があるインスタンスに遭遇し、これを行う方法に関する情報がなければ、現在の機能を完了できませんでした。 ロジックプログラミングはこれらのタイプの決定を処理し、特定の状況に最適に対応する方法について「論理的な」決定を下せるようにコンピューターに指示を出します。 ロジックプログラミングが機能するためには、コードを記述するプログラマーは、ステートメントが理にかなって真実であることを保証する必要があり、したがって論理的です。コード。

定理証明者とは、定理として知られる数学的ステートメントを解決するために設計されたコンピュータープログラムを指します。 定理は、以前のステートメントに基づいて真であることが示されているステートメントです。 論理プログラミングでは、定理証明者はコンピュータープログラマーによって作成されたステートメントと連携して結論に達します。 たとえば、AがBに等しく、BがCに等しいとコードに示されている場合、定理証明者はAがCに等しくなければならないという論理的な結論を下します。このプロセスは、 AはCと等しいというコード。コンピュータープログラムは、定理証明とコード内のプログラマーの元のステートメントを使用してこの結論を引き出す必要があるためです。

理論的には、論理プログラミングが機能するためには、プログラマーはステートメントが正しいことを確認するだけでよく、定理証明者の作成者はプログラムがステートメントを読み取り、それに基づいて最も効率的な決定を行えることを確認する必要があります。 効率的な決定を行う能力は、「論理的に」機能するコンピューターと呼ばれます。 現実には、2つの作業分野は重複しており、論理プログラミングを実行する人は、定理証明者が希望する結果を得るためにどのように機能するかに基づいてコードを変更および操作する必要があります。 特定の決定方法を正確に述べるだけでは、コンピューターに正しい機能を実行させるには不十分な場合があり、プログラマーはコードをテストし、それに応じて調整する必要があります。

論理プログラミングが機能するためには、後方推論にも依存しています。 後方推論では、プログラムは一連のデータを調べ、一般的な既知のステートメントからより高度な結論に到達することで結論を出します。 プログラムは、2つの情報が真実であることを知っている場合があり、これらの2つの情報が真実であるため、3番目の情報も真実であることを推測します。 与えられた情報に基づいて論理的な結論に達するまで、このプロセスを続けます。 論理プログラミングは、その動作方法により、宣言的表現言語に基づいて構築されます。つまり、プログラムは何をすべきかをコンピューターに伝えますが、定理証明者に任せて、要求された手順を実行する最も論理的または効率的な方法を決定します。