問題タブ [eclipse-clp]

私はこの制約を持っています:

とP=[1,2,3,4,5,6,7,8,9,10] and V=[V1,V2,V3,....], V::0..1

要素を使用して動的な方法でこの制約を実装したいN(のカーディナリティPand Vwill be N)。

これをサイクルで実装すると、Vコードのこの時点ではまだラベル付けされていないため、インスタンス化の問題が発生します。

解決済み

B #> P*VCLP に直接実装されたスカラー積を使用して質問を解決しました。

ECLiPSe を使用して、会議での記事の割り当てに関する問題を解決しました。目標は、同様の記事が同じセッションにあることです。これは、ECLiPSe で機能するソリューションです。

プロローグでは、問題は制約の定義とラベル付けです。ECLiPSe が伝播アルゴリズムを使用していることは知っていますが、プロローグではバックトラッキング戦略を使用する必要があります。

このコードをプロローグに移植するにはどうすればよいですか?

SWI-Prolog では、モジュール テキスト ファイルの先頭に次のようなコードを使用しています。

コードを変更したくありません。それでも ECLiPSe Prolog を使用するにはどうすればよいですか (*)。module/2ECLiPSe Prolog でディレクティブを定義するライブラリはあり ますか?

よろしくお願いします

(*) http://eclipseclp.org/

次のテスト ケースを実行しようとしています。

上記は SWI-Prolog で動作します。しかし、ECLiPSe Prolog で動作させるのに問題があります。次のエラーが表示されます。

abc:uvw/1 をインポートしていません。存在しません。ECLiPSe Prolog で test/0 を正常に実行できるフラグはありますか?

よろしくお願いします

編集: PS: 次の言い回しも機能しません。

その後、次のエラーメッセージのみが表示されます。

値を格納するために配列内のどの位置が使用されるかを計算するプロローグを作成する必要があります。ただし、これらの計算の結果は整数を返す必要があるため、floor/1述語を使用して値の整数を取得しますが、これは私のコードでは機能しません。3 ではなく 3.0 のように、小数点付きの数値を返し続けます。

以下は私のコードです：

の結果がSum is floor(Col + Row + 1)整数になることはなく、その理由はわかりません。誰でもこれで私を助けることができますか？

そのため、再帰を使用せずに、foreach、foreachelem などのループのみに依存して、Prolog を使用してリストから単一の要素を取得しようとすると問題が発生します....

したがって、リスト Xs = [1,2,3] があり、各要素を個別に取得したいと考えています。私がこれまでに思いついた最高のものはこれです...

これは私がこれまでに得た中で最高のものです...だから、最終的な計算に使用できるMaxのプレースホルダーをどのように作成すればよいのでしょうか?

始める前に、ここに問題があります。

List Xs = [1,2,3] と List Ys = [2,3,4] の例があります。これら 2 つのリストの 2 つの共通要素メンバーは [2,3] です。したがって、述語setIntersection(Xs, Ys, Zs)を作成しようとしています。結果のリスト ( [2,3] ) は Zs にバインドされます。Prolog 言語を使用してこれを実行しようとしています。 Windows 上の ECLiPSe プログラムで実行され、ループ反復子 NO RECURSIONを使用する必要があります。

これが私がこれまでに持っているコードです:

私が持っているコードの別のバージョンはこれです：

結果 (2 番目のコードから):

私が得た結果は、上記のコードでは非常に奇妙です。

この問題で私を助けてください、私はとても感謝しています。ありがとうございました！