clpfd

1熱

1答えて

clp（fd）でプロローグ検索のすべての組み合わせをバインドする方法はありますか？

私がやりたいことは、指定されたリストから要素のすべての組み合わせを生成することでした。例：[a、b、c]から： [] [a] [b] [c] [a,a] [a,b] [a,c] [b,a] ... などです。おそらく、これを行う魔法のプロローグ1ライナーがあります。もしそうなら、私はそれを聞くのが大好きです。しかし、私の質問は、この特定の問題を解決することではなく、誰かが私の

4熱

2答えて

CLP（FD）で任意の長さのリストを生成するときの非終了

期待される応答を返した後に、ERROR: Out of global stackで終了するのはなぜですか？ ?- L #>= 0, L #=< 3, length(X, L). L = 0, X = [] ; L = 1, X = [_G1784] ; L = 2, X = [_G1784, _G1787] ; L = 3, X = [_G1784, _G1787, _G1790

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答えて

Sicstus PrologでCSPのペア変数のドメインを設定する方法

私はSicstus Prologを使用しています。私はDomino Puzzleを解決しようとしています。私には、トリプレットのリストがあります。これは、ドメインを設定する必要があります。私は単一の変数のドメインまたは単一の変数のリストを設定する方法を知っていますが、私のリストに三つ組があり、三つ組の要素のそれぞれが異なるドメインを持っているなら、どうすればいいですか？私が何をしたいか DV =

5熱

2答えて

Prologプログラムは、2つの整数の正方形の合計として（整数）の数を取得しますが、なぜ機能しませんか？

私はPrologの学習を始めています。整数を指定したプログラムが必要ですPはAとBのようにP = A² + B²という整数に与えます。この式を満たすAとBの値が存在しない場合、falseたとえばを返さなければならない：P = 5場合1² + 2² = 5ので、A = 1及びB = 2（又はA = 2とB = 1）を与えるべきです。私は、これは動作するはずです考えていた。 giveSum(P,

3熱

2答えて

Prolog CLP FDを使用してパス制限を設定する方法は？

私はProlog CLP FDを使って制限プログラムを使用して、提案されたパズルを解決しようとしています。このパズルは、次の簡単なルールで構成されていますは今、私のコードでは、私はすでに2x2のグリッドの一枚は、同じ色の少なくとも1つに接続されなければならないことの制限をカバーしています。問題は、一方のピースが同じ色の他のすべてのピースにPATH（接続されている）を持っていなければならないとい

1熱

1答えて

構文エラー：オペレータが期待しています（do文）

現在私はPrologの初心者です。私はオペレータエラーに遭遇しています。コンパイラによると、 "do文"で何かをしなければならない。どんな指針も非常に感謝しています。ありがとうございました。 :-use_module(library(clpfd)). :-use_module(library(lists)). go :- Mary = 1, John = 2,