instantiation-error

1熱

1答えて

同じ長さの2つのリストの違いを判断し、変数の違いの数を示すプログラムを作成します。私のコードは、これまでのところです： difference([],[],0). difference(L1,L2,N) :- L1=[H1|T1], L2=[H2|T2], H1=H2, difference(T1,T2,N). difference(L1,L2,N) :-

0熱

1答えて

引数が十分にインスタンス化されていません

私のコードを1時間読みましたが、どこに問題があるのか理解できません。私は、このエラーは、私が前にインスタンス化しなかった引数を使用することを意味しますが、どこにあるのかわかりません。手伝って頂けますか？ as_monomial(X, m(X, 0, [])) :- number(X), !. as_monomial(^(Y, Z), m(1, Z, [v(Z, Y)])) :- !. as

2熱

1答えて

は、私がこのように動作しますゼロ以外の整数の番号ジェネレータであるプロローグで関数<code>int(?X)</code>を定義しようとしているプロローグ

内の非ゼロ整数のリストを生成しようとしている： ?- int(X). X = 1 ; X = -1 ; X = 2 ; X = -2 ; 私は次のことを試してみました int(X):- positives(Y), Y is abs(X). positives(1). positives(X):- positives(Y), X is Y+1. が、私は次のエラーを取得しています： E

2熱

1答えて

プロローグの相違点

プロローグでa + 1の平方とaの平方の差が2a + 1であることを知りたい。私は ?- abc(D,E,P). ERROR: is/2: Arguments are not sufficiently instantiated. 誰もがこの問題で私を助けでそれを試してみました :- use_module(library(clpfd)). kare(X,Y):- Y #= X*X.

1熱

1答えて

プロローグ内でツリーがavl-treeであるかどうかを確認しています。エラー

私のプログラムは正しく動作していません。テストしようとするとエラーが発生します。テストのための私の例は： if_avl_tree(t(t(t(nil/0, 3, nil/0)/1, 7, t(t(nil/0, 9, nil/0)/1, 11, nil/0)/2)/3, 16, t(nil/0, 25, t(nil/0, 40, nil/0)/1)/2)/4). これは私のコードです： if_

1熱

0答えて

Prolog制約プログラミングでのラベル付け

私はPrologを初めて使用しており、現在のところ単純な制約プログラミング問題に取り組んでいます。だから、私は実数がA、B、C、Dの4つの実数を持っています。 A + B + C + d = A B C * D = 7.11 整数で扱う方が簡単なので、実装： :- use_module(library(clpfd)). grocery(Vars):- Vars=[A,B,C,

1熱

1答えて

プロローグで線形計画を解く

私はhttp://www.zweigmedia.com/RealWorld/tutorialsf4/framesLinProGr.htmlの最初の線形計画問題の例を解こうとしています。 XとYはゼロまたは陽性であり、それらの合計は50まで可能であり、2X + Yは60まで可能である。関数X + 3Yは最大化されなければならない。 mysol2(X,Y,Z):- X in 0..sup,

2熱

2答えて

プロローグの引数が十分にインスタンス化されていない、Rが[H | R1]

同じ質問ですが異なるコードを読みましたが、残念ながらもう1つは投稿されています。私は教授のメモに従っており、ここに見られるように階乗関数と同一の挿入文をモデリングしています。 factorial(0, 1). factorial(N, F) :- N > 0, N1 is N – 1, factorial(N1, F1), F is N * F1.

1熱

1答えて

プロローグ引数が十分に具体化されていない（リスト長を計算する関数）

リストの長さを計算する関数を作成しました。以下は私のコードです。 listLength(LIST) :- solve(LIST, LENGTH), write(LENGTH). solve([], _). solve([_|T], LENGTH) :- ADD is LENGTH + 1, solve(T, ADD). Iが入力でこのコードを実行する - ？LISTLENGTH（[1、2