clpfd

7熱

3答えて

私はPrologとLogical Programmingについて簡単な記事を読んでいます。私は論理プログラムが代数を行うことができるかどうか不思議です。同様に、あなたはXの変数が式5 + X = 7にあり、-2の答えを得ているかを尋ねることができますか？

16熱

4答えて

ヤングテーブルウのプログラミング

奇妙な質問は次のとおりです。私の学校では競技の解決に問題があり、私たちはコンピュータを使用することができます。私はコード作成方法を知っている唯一の競争相手だから、問題をより早く解決するためにCとPascalプログラムを使用します。私は擬似コードからコードへの演習、アルゴリズム、Collatzの憶測の検証などでこれを行ってきました。昨日、私は次のチャレンジ（4月18日）のために練習していまし

9熱

1答えて

フィボナッチルーカス数の同時再帰CLP（FD）の可能性

instancesがあります。再帰的述部は、述部が双方向に変わるという利点を持ってCLP（FD）化できます。この方法の限界は何ですか？例えば以下computation CLP（FD）が-fiedができる： Fn: n-th Fibonacci Number Ln: n-th Lucas Number (starting with 2) この倍加再帰ステップで： F2n = Fn*Ln L2

3熱

1答えて

述語 `contracting/1`の復元で矛盾した値が削除されましたか？

この質問は、Prologのカスタムラベリングに関するもう1つの質問に続きます。I posted earlier contracting/1述部は、カスタムラベリング述部の変数に値を代入して使用すると、ドメインから「不整合」値を永久に削除しますか？または、バックトラッキング時にこれらの値が復元されますか？

11熱

3答えて

リスト不等式制約

2つのリストの制約制約不等式を作成するProlog（CLP）述部を作成しようとしています。より形式的には、2つのリストを有するA=[A1,...,AN], B=[B1,...,BN]は、(A1 #\= B1) #\/ (A2 #\= B2) #\/ ... #\/ (AN #\= BN)と定義される。この制約をどのように構築するかは、任意の長さの2つのリストではわかりません。これが私の試みです

1熱

1答えて

clpfdライブラリを使用して12 x 12マトリックスを設定する方法

私は制約論理プログラミングを初めて使い、clpfdを使用してプロローグで12 x 12マトリックスを設定する方法を知りたがっています。私はswi prolog ideを使用しています。変数の行列を割り当てること

1熱

2答えて

は、エラーをスロー

私は論理的な制約を使用して、次の問題を解決しようとしている「引数が十分にインスタンス化されていない」：パッカーが長い大型トラック上に5箱を設置しなければなりません。ニワトリ、オオムギ、キツネ、ラット毒および小麦を含む5つの塊。箱はの間に隙間のない長い線で配置する必要があります。 •ニワトリはキツネから切り離されています。 •ラット毒は大麦の隣にはない。 •ラット毒は小麦の隣にはない。これら

2熱

2答えて

有限ドメインソルバーfd_minimize/2

Prologで述部を最小化する必要があります。現在、私はGNU Prolog Javaを使用しています。私はこの事実 army(Territory,X). を持っていることは、与えられたテリトリーは、Xの軍隊を持っていると述べています。今私は特定のプレイヤーが所有する最小数の軍隊を探したい。だから私は書いている： place_army(Player, Territory):- fd

1熱

1答えて

プロローグでパズルを解く - 制約付きの解を生成する？

私はカエルのパズルを解決しようとするためにプロローグを使用しています。 Iは、RとCは、私の知る限りとして行を表し、各ボックスの開始点、Lは長さを表し、Sは、行の数の合計であり、 % across(R, C, L, S) across(2,4,2,4). across(2,10,2,4). across(3,4,4,12). across(3,10,2,6). across(4,3,2,

0熱

2答えて

clpfd - 私はclpfd 5と10の間のすべての異なる整数のリストを生成取得するSWI-Prologので働いて5と10

との間のすべての整数のリストを生成します。作品の q1(Answer) :- length(Xs, Answer), Xs ins 0..20, chain(Xs, #<), maplist(q1constraints, Xs). q1constraints(X) :- X #>= 5, X #=< 10. 種類を、しかし、 ..