clpfd

1熱

1答えて

eclipseclp を使用してプロローグでCLPを使用した簡単なルートプランを作成しようとしていますが、clpfdプロローグライブラリを使用しますが、コンパイラは認識しませんそれら。 library not found in use_module(library(clpfd)) 私はeclipseCLPのすべてのサードパーティライブラリをインストールしましたが、この問題は解決できません。

2熱

1答えて

プロローグでの再帰的乗算

プロローグの新機能。編集：SWI-プロローグを使用して、私は再帰的に乗算方法は、すでに実際に乗算法を使用せずに、プロローグで何をやりたいです。 multn(N1, N2, output){ if (n2 <=0) return output; else multn(N1, (N2-1), output + N1) } 例：私はそれを実装するアルゴ

2熱

2答えて

このパズルを解こうとしましたが、正しい答えが見つかりませんでした。ここにコードが生成された

5,10,20,50,100の値を持つコインがあります。それぞれの重量が2g、3g、10g、25g、50gのコインがあります。あなたの財布は弱いので、391gを超えることはできません。そして、あなたは同じ値を持つ3つの硬貨しか入れないことができます。あなたの財布の最大値は何ですか？クエリ::: change([(Five,Ten,Twenty,Fifty,Hundred),W,S]) r

2熱

1答えて

制約論理プログラミングのクエリの結果を決定する方法

制約論理プログラミングのいくつかの改訂を行い、その結果を正しく述語化するために次のクエリをどのように読むことができるかを知りたがっています。基本的に、次のクエリによって提供される回答が正しいかどうかを尋ねる質問があります。だから、これは私の質問の答えが正しいかどうかを判断するために、クエリを読むための最良の方法は何かということです質問 Consider the following querie

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

3熱

1答えて

clpfdで境界伝播とは何ですか

clpfdで境界伝播が何であるか把握しようとしていますが、どこでも良い説明を見つけることはできません。私はPrologとclpfdを改訂していますが、この質問に出くわしましたが、講義ノートを見てもわかりません。誰かが境界の伝播の実際の意味とそれが何のために使用されているか説明してください。ここで私が言及しています質問です：次のPrologプログラム :- use_module(library

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.

2熱

1答えて

Prologでサブ行列の要素をチェックするには

EclipsE PrologでShikakuソルバを書こうとしています。私のcontraintsは、以下のように定義されています。 solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shika

3熱

2答えて

以前のソリューションがいくつかの条件を満たしていなかった場合、新しい順列を試す方法は？

これは私がしばらく解決しようとしてきた練習です。私はこのような入力リストを得ます[a-b,b-c]、ノードとノードを接続する円弧です。条件は次の通りである：ノードは1からN-1に、関連付けられた一意の番号を持つことが必要であり、その数がなければならないれると円弧、1からNまで、関連付けられた一意の番号を持っている必要が接続するノードを減算した結果。だから、答えは次のようになります。 Enum