programming-languages - 非Prolog論理プログラミング

Question

優れた非PrologまたはPrologベースの論理プログラミング言語はありますか？

誰が、またはそれについて良い経験がありますか？

score 8 · Accepted Answer

Dan Friedman、Oleg Kiselyov、WillByrdによるTheReasonedSchemerを強くお勧めします。これは、Scheme上に構築された小さな（3つのコア演算子）論理プログラミング言語であるminiKanrenを紹介します。matche特にパターンの一致を統一できるマクロで使用するのは楽しいことです。

score 8 · Accepted Answer

Answer Set Programmingは、非常に強力な論理プログラミングパラダイムです。クラスプ/クリンゴアンサーセットソルバーで多くの成功を収めました。

score 4 · Accepted Answer

基本的に論理プログラミングであるアンサーセットプログラミングを通じて、DLVとモデルを紹介しました。

score 3 · Accepted Answer

Coq、HOL、Isabelleなどの定理証明アシスタントを見てください。

一部の型システム（Agda2など）も論理プログラミングと見なすことができます。

score 2 · Accepted Answer

あなたはCLIPSをチェックするかもしれません。Lisp（たくさんのparens）のように構造化されていますが、エキスパートシステムを構築するために設計されています。私は、CLIPSが解決できなかったPrologが解決する問題を見たことがありません。Prologのように、それは事実を構築し、それに対してクエリを実行することに基づいています。