logic-programming

0熱

1答えて

パズルはこのようになります。島には4つのテンプルがあります。各寺には名前、場所、建造日が記されています。どの4つの組み合わせ（名前、場所、日付）が正しいかを判断するのに役立つ4つの手掛かりがあります。私はプロローグを使ってこれを解決しなければならない。寺院の名前は：hori_takesi、okabe honzo、sama takakoとtakahashiです。場所は、funai、toyagi、u

2熱

2答えて

MiniKanrenには "not"演算子がありますか？

MiniKanrenに "not"演算子がありますか？ 1が表すだろうか例えば、プロローグの bがtrueで、 cがない場合は a :- b, not(c) aは本当ですcが証明できない場合（Prologは失敗による否定、すなわちnot(c)が証明考えられているを使用しています） Prolog's notは、非基底式でも使用できます。 a(X, d(Y)) :- b(d(X), d(Y)),

1熱

1答えて

推論されたスキーマを理解していない第5章のフレーム62

私は現在、推論されたスキーマを学んでminiKanrenを学んでいます。私は第5章のフレーム62の演習で詰まっています：(run* (x) (flatten_o (a) x))、出力に3つのリストがあるのはなぜですか？ありがとうございます。

1熱

1答えて

clojure.core.logicに論理的なfor-allがありますか？

私は、SmolyanのMock a Mockingbirdでclojure.core.logicを使って最初のパズルを解こうとしています。それは特に難しいのではなく、エクササイズです。パズルには、赤、黄、青の3色の花が咲く庭があると書かれています。それぞれの色は少なくとも1回は現れますが、あなたが選んだ3本の花が赤と黄色の花になるかどうかは関係ありません。質問：第三は必ず青ですか？ロジックコード

0熱

1答えて

pyDatalogで動的算術ファクトを作成するにはどうすればよいですか？

私は単純なデータログマシンを作成する必要があります（つまり、私の入力は2つのファイルです：1.事実、2つのルールです）。私は現在pyDatalogパッケージを使用しています。事実を解析し、用語を動的に作成する必要があります。私は、ファイルから文字列を解析する必要があり、この場合の load(""" ancestor(X,Y) <= parent(X,Y) ancestor(X,Y) <= p

0熱

2答えて

Datalogの最小値と平均

Datalog宣言論理プログラミング言語を使用して平均値、最大値、最小値を計算する方法を理解できません。例：私がしたい場合は、このシンプルなスキーマ Flows(Stream, River) Rivers(River, Length) を考慮 a）の少ないストリームと河川の平均長、 b）の最長の川、 C）と川正しいDatalogのクエリは何ですか？私はDatalog理論を読んだことがあ

2熱

1答えて

誘導的論理プログラミングと回答セットプログラミングの比較

私は、誘導的ロジックプログラミングと回答セットプログラミングのいくつかを明確にすることを検討しています。私はいくつかの同級生がゲームを作成しています。このゲームには "ヒーロー"（特別なnpcs）があります。ヒーローは目標と行動を持っています。（これはすべてストーリー駆動です）英雄がプレイヤーや他のヒーローの行動に反応し、そこから何をするかを決定したいのですが。先生は、「RoleModel

1熱

1答えて

TPTPの文法的に異なる用語を表現する

私はVampireやE-Proverのような一次論理定理証明者を見ています.TPTP構文は今後の道のりです。 Answer Set ProgrammingとPrologのようなLogic Programmingの構文にはよく慣れていますが、TPTP syntaxの詳細な説明を参照しようとしていますが、解釈されたファンクタと解釈されないファンクタを正しく区別する方法はまだ分かりません。間違った用語を

3熱

1答えて

私はどのようにプロローグにアプローチするのですか

私は大学でPrologコースを受講しました。コースワークでは、プロローグプログラムを書く必要があります。私は単純なプログラムを書くことができますが、私は複雑なプログラムを少し消化するのが難しいと感じています。どのように進行するか、どのように私はこの主題を勉強するのですか？この種のコースに取り組むアプローチは何ですか？どんな助けもありがたい。おかげさまで

4熱

1答えて

lvarsのシーケンスを操作する方法

私は、使用可能な金額のセットを指定して、特定の金額に達する請求書/硬貨の金種のすべての組み合わせを取得したいとします。だから例えば、(change 14 #{1 2 5 10})のために私が期待する ( {10 1, 5 0, 2 2, 1 0} {10 1, 5 0, 2 1, 1 2} {10 0, 5 2, 2 2, 1 0} {10 0, 5 2,