clp

3熱

2答えて

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

1熱

1答えて

Pythonサブプロスから実行可能ファイルを実行する際のエラー

Python 3.5から実行可能ファイル（線形プログラミングソルバーCLP.exe）を実行しようとしています。 Import subprocess exeFile = " C:\\MyPath\\CLP.exe" arg1 = "C:\\Temp\\LpModel.mps" arg2 = "-max" arg3 = " -dualSimplex" arg4 = " -printi al

7熱

1答えて

dif/2制約を含むcommutativityを検証する方法は？

dif/2制約の周りには、特に、（\ =）/ 2と（\ ==）/ 2の非宣言性のレスキューとして多くの宣伝があります。この非宣言性は、しばしば非単調性として特徴づけられ、非共生性の例が与えられる。しかし、dif/2を含むテストケースが可換であるかどうかをテストする方法は何でしょうか。ここで私は何をしたいのかメタ説明は次のとおりです。私は可換性テストを行い、私は両方のバリアントは、同じ結果を与

4熱

1答えて

3イン行ロジックパズル：リスト/配列における配列の制約のために最適化

我々はそのようにしようとすると、青と白の四角でグリッドを埋める次パズルにおいて： A 3同じ色の行（または列）は許されません。それぞれの行と列には、同じ数の青と白の四角形があります。 0 _ _ _ 1 _ _ 0 _ _ _ _ _ _ _ _ _ 0 1 _ _ 0 _ _ _ _ 1 1 _ _ _ 0 _ _ 1 _ そして、私たちはかなり迅速に 0 1 0 0 1 1

4熱

2答えて

純粋にリレーショナルなプロローグプログラムを書くにあたっては、丁寧に配置されたカットを使用してもよいですか？

私は、キーストアを管理するリレーショナルプロローグプログラムを書いています。最初のコードは、インターネット上で見つかった講義スライドの一部から取っています（http://people.eng.unimelb.edu.au/pstuckey/book/course.html - 参照：データ構造スライドを参照）。このコードでは、同じキーで複数の値を追加することができます。ただし、同じキーと値のペア