問題タブ [logic-programming]

カレーチュートリアルのセクション3.13.3から：

残存する操作は 剛体 と呼ばれ、縮小する操作は 柔軟 と呼ばれます。定義されたすべての演算は柔軟ですが、算術演算などのほとんどのプリミティブ演算は、推測が合理的なオプションではないため、厳密です。たとえば、プレリュードでは、リスト連結操作を次のように定義しています。

操作「++」は柔軟であるため、特定のプロパティを満たすリストを検索するために使用できます。

一方、加算「+」などの事前定義された算術演算は厳格です。したがって、論理変数を引数として「+」を呼び出すと、次のように失敗します。

カリーは、中断されるゴールを書くことを警戒しているようには見えない. 目標が中断されるかどうかを事前に検出できるのは、どのタイプのシステムですか?

論理プログラミングに特化した Prolog よりも新しい言語はありますか?

最近プロローグをやっています。そしてThe Art Of Prologの本を読みました。そこには Nim ゲームの実装があります。だから私はそれをSWI-Prologに書き直しました。そして、このOut of local stackエラー以外はすべて問題ないようです。デバッグ後、プログラムのこの部分で永遠にループしているように見えることがわかりました。

誰かがこの種の問題に遭遇しましたか？代替実装の提案はありますか?

バックチェーンによる推論のアルゴリズムの正確な説明を探しています。検索するたびに、アルゴリズムの正式な説明がなく、ラッセルとノーヴィグから持ち上げられた標準的な例が見つかります。

プログラミングの経験がほとんどまたはまったくない学生に、基本的な Prolog の講義を 1 つだけ教えます。プログラミングと Prolog が現実の世界で使用できることを彼らに見てもらいたいと思います。

これとこのスレッドを見てきましたが、講義を締めくくるときに見せることができる視覚的に魅力的なものは何も見つかりません.

Prolog を使用するクールなアプリケーションの提案はありますか? ビデオやスライドショーとして表示できるものを特に探しています。

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

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

最近、Mercury で次のコード例を見つけました。

Prolog プログラマとして、通常の統合= と、ここで使用されている:=orの違いは何だろう=>か?

Mercury リファレンスでは、これらの演算子の優先度は異なりますが、その違いについては説明されていません。

述語ロジックの式を表す標準データ型があります。論理和の自然演繹消去規則を表す関数は、次のようになります。

統合が失敗したときに Nothing と評価する代わりに、関数は に解を返しませんPACKS。

何が欠けているのですか?統合が失敗したときにel評価されないのはなぜですか?Nothing

LearnYouSomeErlang Web ブックから Erlang を学んでいます。学習中に私を襲ったことの1つは、非短絡ブール演算子および論理和演算子です。andとor。これらのオペレーターの使用例は何ですか? andalsoなぜandの代わりにそれらを使用したいのorelseですか?

ウィキペディアでカレーを見つけました。カリーはスーパーセットに近いと言われていますが、何かが欠けているからではありません。

Haskell全体をサポートすることを望みます。彼らは、Curry の一部として Haskell を実装することを計画していましたか?