clpfd

2熱

1答えて

私は制約プログラミングと再帰プログラミングについて学んでいます Prolog。私は(Sx,Sy)で始まり、(Ex,Ey)で終わるレベルNのコッホ曲線をプログラムする必要があります。計算されている線分はLsに格納されます。私はgeneratelines(1,(60,0),(-60,0),Ls)を実行しようとすると、私はレベル1のコッホ曲線の右4点の座標取得：私はgeneratelines(2,(

0熱

2答えて

Prolog無限ループ

私のコードは以下の通りですが、このコードは数独解決のためのコードですが、行と列のdiv2チェックの最初の実行はrawがすべて異なる場合、div2の2回目の実行を転置した後列はすべて異なっています。 :- use_module(library(clpfd)). len(P):- div2(P), write("\n 1P2: "), write(P), t

1熱

1答えて

CLPFDで異なる値のリストを生成

3つの要素のすべての可能な組み合わせをすべて生成しようとしていますが、すべてが異なる場合です。私は変数のドメインを定義するためにCLPFDライブラリを使用しています。私は、次の listDif(F,X):-F ins 1..3,findall(F,all_distinct(F),X). とクエリへの答えは、私は可能な整数値で一覧を表示するにはどうすればよい ?- listDif([1,_,2

2熱

1答えて

Prologコードを操作する

Linux端末でswiplのhttps://swish.swi-prolog.org/example/clpfd_queens.plというコードをこのページで実行しようとしています。 :- use_module(library(clpfd)). n_queens(N, Qs) :- length(Qs, N), Qs ins 1..N, safe_queens(Q

2熱

1答えて

暗号演算処理

"SEND MODE MONEY"のPrologコードを書き込もうとしていました。これまでのところ、私が得た次 ?- puzzle([S,E,N,D] + [M,O,R,E] = [M,O,N,E,Y]). [ 9 , 5 , 6 , 7 ] + [ 1 , 0 , 8 , 5 ] = [ 1 , 0 , 6 , 5 , 2 ] ; S = 9, E = 5, N = 6, D = 7

2熱

1答えて

機能を失うことなく述語の応答内でs（N）を評価する

私はPrologを学んでいます。私はelemindexという述語を使って、elemindex(element, index, list)の形式で、例えばelemindex(1,0,[1,2,3,1]).またはelemindex(3,0,[1,2,3,1]).のように実験していました。によりインスタンス化の制約に、私はこれで終わった：私は?- elemindex(1,N,[1,2,3,1]).を照

3熱

1答えて

私はどのようにプロローグにアプローチするのですか

私は大学でPrologコースを受講しました。コースワークでは、プロローグプログラムを書く必要があります。私は単純なプログラムを書くことができますが、私は複雑なプログラムを少し消化するのが難しいと感じています。どのように進行するか、どのように私はこの主題を勉強するのですか？この種のコースに取り組むアプローチは何ですか？どんな助けもありがたい。おかげさまで

1熱

1答えて

巨大数値のプロローグを扱います

私はプロローグと一緒に作業しています。私は膨大な数値を扱う必要があります（プロローグは数字を扱うように設計されていません）。すでに有限の境界を持たない任意の入力変数が10000000 への-10000000デフォルトの境界が与えられます：fd_global:ordered_sum\2が言うように、私は、Eclipse 6.1と述語に建てられたいくつかのドキュメントを使用しています10000000

0熱

1答えて

境界伝播とは何ですか？

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

3熱

1答えて

プロローグでclpfdのバックトラックを追跡する方法は？

sudokuprologを使用してclpfd libraryを使用してソルバーを作成しています。私はバックトラックと、行と列と、それは次の形式で取得する数で標識したすべての正方形をトレースする必要があります。 (1 ,1 ,1) (9 ,2 ,1) BT (5 ,2 ,1) 私の質問は、私はアルゴリズムから上記の情報を得ることができる方法ですか？別の質問：アルゴリズム