7

コンテクスト

私はcore.logicを知っています。

私は理にかなった計画者を通して働きました。

私はPrologの存在について知っています。

Clojureでロジックスタイルのプログラミングを上手にできるようになりたいです。

core.logicの本よりもPrologの本の数は無限にあります。

質問：

私は現在、clojureのcore.logicを使用してPrologの本を数冊読むことを計画しています。私は何に注意する必要がありますか/Prologからcore.logicにマッピングするのが難しいものは何ですか？

（論理プログラミングが上手になるための他の提案も歓迎します。）

ありがとう！

4

2 に答える 2

3

論理プログラミング+Clojureの世界の他の部分には次のものがあります。

  • cascalog（Hadoopでの論理プログラミング）
  • datomic（論理プログラミング+データベースの時間）
于 2012-07-09T23:23:40.850 に答える
1

かなりの量のPrologがminiKanren/core.logicに翻訳される可能性があると思います。私は多くの問題を認識していません（1つはDefinite Clause Grammarsですが、Clojureでパーサーを作成する他の方法があります）。問題が発生した場合は、Clojureメーリングリストに改善のための提案を投稿してください。

于 2012-07-10T17:45:07.007 に答える