142

論理プログラミングについて読みたいとき、私はいつもそれを行うための 2 つの「主な」方法に出くわします。

  • miniKanrenはThe Reasoned Schemer で導入されたミニ言語であり、 core.logicにより現在人気があります。
  • Prolog、最初の「大きな」ロジック プログラミング言語。

私が今興味を持っていること: 2 つの主な技術的な違いは何ですか? それらはアプローチと実装が非常に似ていますか、それとも論理プログラミングに対してまったく異なるアプローチをとっていますか? それらは数学のどの分野から来ており、理論的基礎は何ですか?

4

2 に答える 2

7

暫定回答:

私の知る限り、「The Reasoned Schemer」は、Scheme-y 構文と関数型プログラミング スタイルで基本的な論理プログラミングを導入し、特に定数の目標「#u」(失敗) と「#s」(成功) をブール値「#t」に追加しました。 」と「#f」。Prolog と同じ論理プログラミングのアプローチを使用しました: 統合とバックトラッキング検索。週末に本棚からその本を取り出す時間があるかどうか見てみます。数学の分野は、制限された形式の一次論理であり、この場合はホーン節と解像度の統一化です。コールド スタートについては、John Alan Robinson によるComputational Logic : Memories of the Past and Challenges for the FutureおよびRobert Kowalski によるThe Early years of logic programmingを参照してください。

于 2015-02-13T21:21:23.947 に答える