prolog-dif

7熱

1答えて

dif/2制約の周りには、特に、（\ =）/ 2と（\ ==）/ 2の非宣言性のレスキューとして多くの宣伝があります。この非宣言性は、しばしば非単調性として特徴づけられ、非共生性の例が与えられる。しかし、dif/2を含むテストケースが可換であるかどうかをテストする方法は何でしょうか。ここで私は何をしたいのかメタ説明は次のとおりです。私は可換性テストを行い、私は両方のバリアントは、同じ結果を与

0熱

4答えて

Prolog：リスト内の2つの要素が等しく発生しているかどうかを調べる

私はPrologを初めて使う人でありネイティブスピーカーではないので、わからないのは残念です。私の質問は、リストからaとbが同じように表示される場合はどうすれば見つけることができますか？たとえば、[a,a,b,b]は私にtrueを与えますが、一方が他方よりも多く現われる場合はfalseとなります。例：[a,a,a,b,b]。誰でも教えてください。これは私がこれまで持っていたものであり、間違っ

0熱

2答えて

Prolog：一時的なリストの記憶

私はPrologを初めて使っています。私は、自分がやろうとしている述語に固執しています。その目的は、クワッド[X、Y、S、P]のリストを特定のPで再帰させることです。クワッドが同じPを持つとき、それを一時的なリストに格納します。新しいPを参照すると、テンポラリ・リストが長さ2より大きいかどうかが調べられます。テンポラリ・リストが出力リストに格納されている場合、2未満の場合はクワッドが削除され、再帰

0熱

2答えて

Prologは、いくつかの入力リストを与えられたとき、私は新しいリストを構築したいとそれが必要リスト

の要素を比較しますを常に新しいリストの前に時間を追加するごとに二つの連続する要素を比較しますと等しい場合は、新しいリストにyを追加し、そうでない場合はxを追加します。例： ?- control([a,a,b,b],R). R = [h,y,x,y]. ここでは、これまでに私のコードです： control([H,H|T],K,[K,0|T2]):- control([H|T],[K,0

3熱

2答えて

連続する重複を除去する

3熱

2答えて

プロローグ - 二つのリストが1

を除いて同じ要素を持っているかどうかをチェックし、私は文字の二つのリストで働いていると私は、彼らが同じ位置にあるものを除いて同じ要素を持っている場合は、このように、チェックしたい： compare([L1,L2,L3,L4],[W1,W2,W3,W4]) :- ((W1 \= L1, W2 = L2, W3 = L3, W4 = L4); (W1 = L1, W2 \= L2, W3 = L3

0熱

1答えて

Prolog - 変数リストの長さを制限する方法

特定の基準を満たすすべてのリストを生成するのに問題があります。 city(new_york, 47). city(chicago, 100). all_unique([]). all_unique([H|T]) :- H = [] ; (not(member(H, T)), all_unique(T)). cities([Head|Tail]) :- length(Tail,

4熱

2答えて

この単純な例でPrologがクラッシュするのはなぜですか？

likes(tom,jerry). likes(mary,john). likes(mary,mary). likes(tom,mouse). likes(jerry,jerry). likes(jerry,cheese). likes(mary,fruit). likes(john,book). likes(mary,book). likes(tom,john). like

0熱

1答えて

Prologでメンバールールが正しく動作しない

Prologで迷路プログラムを作成しようとしています。その目的は、迷路の始点からmという迷路の中心点までのルートを見つけることです。迷路は、青、緑、紫、またはオレンジの4つの色のいずれかを使用して接続された四角で構成されています。開始から中心までのルートは、4色の繰り返しパターンに従います。私は次のコードを作成しました：何らかの理由で link2(A, Colour, B) :- link(A,