prolog

1熱

1答えて

私はプロローグで新しいです。確率論的推論のための定性的確率論的ネットワーク（QPN）について学びました。 QPNは、各影響が定性的なサインに関連付けられている統計的変数のセット間の確率的影響のグラフィカルモデルです。入力：質的確率ネットワーク、Q 出力：QPNに推論するために使用されるアルゴリズムは以下の通りである符号伝搬アルゴリズムである、ネットワーク内の各ノード上の証拠ノードOの影響のサイン

0熱

1答えて

プロローグのマッチングについての質問

私はプロローグの新作です。私はこれに沿って何かを試してみようとしています。ルール（可変変数、...）。基本的には、 "blah"というアトムと任意の式を一致させようとしています。これは可能ですか？

14熱

4答えて

Prolog SAT Solver

私は単純なProlog SATソルバーを構築しようとしています。私が考えているのは、ユーザが、Prologリスト（例えばAまたはB）を使ってCNF（Conjuctive Normal Form）で解決される論理式を入力し、sat（[A、B] 、[B、C]]）とPrologがA、B、Cの値を見つけようとします。私の次のコードは機能しません。トレースのこの行で呼び出し：（7）sat（[[true、t

3熱

1答えて

Prologを使い始める前に、それがどのように機能しているかについての基本的な誤解を明らかにしてください。

私は最初のいくつかのプログラムをPrologで実行しています。私が実行しようとしているような種類のテストではじまりました。当初、私はいくつかの米国の州のミニマップ上でそれをやっていたが、私はアルファベットにそれを簡素化：私は（、何を）NAを照会する場合 adj(a,b). adj(b,a). adj(b,c). adj(c,b). adj(c,d). na(X, Z) :- \+adj

6熱

1答えて

「...」私は（チェス盤のような）座標のマトリックスを作成するための少しのコードを作っプロローグ

で行列の私の答えに表示されますなぜ、それは次のようだ： createMatrix(N,M,R) :- creaMatriu(N,M,A), reversed(R,A). creaMatriu(N,0,[T]) :- creafila(N,0,T),!. creaMatriu(N,M,[T|C]) :- creafila(N,M,T), M1 is M-1, creaMatriu(N,M1,C)

0熱

1答えて

プロローグでの入力出力

私はプロローグ内のファイルから文字を読み込んでリストに入れたいと思っています。私はそれを手伝ってくれますか？ありがとう

0熱

1答えて

プロローグの解析出力

私は大学の教訓をしています。私はいくつかのプロローグに固執しています。コースワークは、本当に初歩的なワトソン（Jeapoardyに関する質問に答えるマシン）を作ることです。とにかく、私は作ることができたこと出力以下： noun_phrase(det(the),np2(adj(traitorous),np2(noun(tostig_godwinson)))), verb_phrase(verb

3熱

1答えて

プロローグ内の高速2次元配列

2次元配列をプロローグで表現する最も効率的な方法は何ですか？長いリストやリストのリストを考えましたが、私の問題では遅すぎるような線形アクセス時間があります。私は必ずしも準備ができている解決策を探しているわけではありません。

1熱

1答えて

プロローグ、三角数字、アキュムレータ、テール再帰

私は2つの部分からなる宿題を手掛けています。最初に、特定のペアX、Yがhttp://en.wikipedia.org/wiki/Triangular_numberに属するかどうかをチェックするPrologプログラムを作成します。例：（2,3）=真; （4,10）=真である。第1の解決策は「通常」再帰を使用し、私はこのように、これを解決しました： triangle(0, 0). triangl

0熱

1答えて

Prologでこの述語に問題がありますか？

findThree([H|T],_,3). findThree([H|T], M, Z):- (member(H,M) -> Z2 is Z + 1, select(H,M,C), findThree(T,C,Z2) ;select(H,M,C), findThree(T,C,Z)