clpfd

2熱

1答えて

パズルを解くことにはいくつか問題があります。私はこのパズルの解決策はどこにも見つけられませんでしたが、私はPrologに書き込もうとしましたが、私の解決策は速くないと思います（私はすべての解決策を生成し、これは私の問題です：（私はそのパズルの名前を見つけました、ここにそのパズルのすべてのルールのリンクがあります：http://en.wikipedia.org/wiki/Kuromasu）。今

4熱

1答えて

行列乗算プロローグ

行列を乗算するコードが見つかりました。 % SWI-Prolog has transpose/2 in its clpfd library :- use_module(library(clpfd)). % N is the dot product of lists V1 and V2. dot(V1, V2, N) :- maplist(product,V1,V2,P), sumlist(

3熱

4答えて

初心者 - 3と5の倍数を加算する

私は1000より下の3と5の正の倍数の合計を求めようとしています。5の倍数の合計から3の倍数を削除するはずの部分を追加した後、gprologは、クエリ?- sigma(1000,N). 問題が明らかにsigma5にあるが、私はかなりそれを見つけることができないため、「いいえ」を吐き続けます： sigma(Num, Result) :- sigma3(Num, 3, Result3),

1熱

1答えて

プロローグで演算式の評価を行う方法は？

私は、プロローグ（実装 - eclipseプロローグ）で算術式を解決しようとしています。解決しようとする演算式は次のようである： A * (C + B * X) + D * X = E Xが計算される値であり、そして他のすべて（A、B、C、D、E）は、すべての数字です。例えば：5 *（3 + 2 * X）+ 2 * X = 39、プロローグに入力される値2 クエリ（目標）とXを割り当てるべき

4熱

2答えて

`is/2`で十分にインスタンス化されていない引数

私の「宣言的言語」クラスでは、Tangramパズルを解決するプロローグプログラムを書く必要があります。パズルは、パズルのポイントの座標のリストによって識別されます。たとえば、puzzle(7,[(0,0),(8,0),(4,4)])は識別子7のパズルで、三角形を表します。ここでは、これを解決するための私の（素朴な）方法です。実行はtangram(Puzzle, Puts)を呼び出して開始します

2熱

2答えて

in_set/2制約を使用する

制約Xをリスト内の値にしないようにしようとしています。 SICStus Prolog manualから： ?X in_set +FDSet でも、私はFDSetにリストを変換する方法を見つけ出すことはできません。私は整数のリスト[2,3,8,9]を持っていて、変数Xのドメインをそのリストに入れないようにしたいと思います。それ、どうやったら出来るの？ありがとう。

2熱

2答えて

プロローグ、テスト（X、Y、Z）： - YはX + Zです

私はXしか知りませんが、プロローグでYとZを取得する方法は？例えば： test(X, Y, Z) :- X is Y + Z. が、エラー： ?- test(2, Y, Z). ERROR: is/2: Arguments are not sufficiently instantiated

0熱

1答えて

プロローグの再帰オーバーフロー

fact(1,1):-!. fact(N,F):- N1=N-1, fact(N1,F1), F=F1*N. これは（サイトではなく）スタックオーバーフローにつながります。それはカット（！）のためにではありません。それはSWI-Prologで動作しますか？

0熱

1答えて

行からスードクボックスを生成する - プロローグ

入力スコーキボードが現在であるかどうかをチェックする単純なプログラムを作成しようとしています。が間違っています。すなわち、行、列、または「ボックス」内に同じ番号の2つを有する。私は行と列の部分に何の問題もありませんでした。次のコードで実現する、かなり簡単な作業です（「0」は塗りつぶされていない四角形です）。ただし、KxK 'ボックス'（Kは行の長さの平方根）を表すリストを生成する方法については

3熱

2答えて

メガファイル名を指定して実行時の問題（ブルートフォースアプローチ）、プロローグ

私は事実のうち、スケジュールを作成しようとしている、事実はは、私が使用することを決め、course_meetings（件名、タイプ、グループ、記述）の形態であり、 brute-forceのアプローチ私は可能なすべてのスケジュールを生成し、どちらがすべての制約を通過するかを見てみましょう。しかし、私は2.6を生成しています。どのように最適化できますか？例： course_meetings（科目