私たちはそれを言います：
- 手続きパラダイムでは、主な構成要素は「手続き」です。
- OOP パラダイムでは、主な構成要素は「オブジェクト」です。
- 機能的パラダイムでは、主な構成要素は「関数」です。
しかし、論理パラダイムには何がありますか? 公理？述語？
よくわかりません。
1 に答える
1
ウィキペイダより
ホーン節は論理プログラミングの基礎でもあり、明確な節を含意の形式で記述するのが一般的です。
実際、新しいゴール節を生成する明確な節を持つゴール節の解決は、論理プログラミングとプログラミング言語 Prolog を実装するために使用される SLD 解決推論規則の基礎です。
編集
OPは述語（一次述語論理）を角節に関連付けようとしているので
参照: 一次述語論理から角節論理への変換: Anthony A. Aaby による論理プログラミング
リンクの腐敗を避けるために、ここで説明を再現しようとしましたが、引用されたセクションにリストを配置する方法がわかりませんでした.
于 2013-01-31T02:17:49.813 に答える