eclipse-clp

5熱度

1回答

我必須以包含9個向量（每個長度爲9）的向量的格式來解決數獨謎題。在Prolog中看到向量是鏈接列表，我認爲如果我先以二維數組格式轉換謎題，搜索速度會更快。實例拼圖： puzzle(P) :- P = [[_,_,8,7,_,_,_,_,6], [4,_,_,_,_,9,_,_,_], [_,_,_,5,4,6,9,_,_], [_,_,_,_,_,3,_,5,_], [_,_,3,_

3熱度

1回答

測量執行時間ECLIPSE CLP（或序言）

如何測量日食CLP方法的執行時間？目前，我有這樣的： measure_traditional(Difficulty,Selection,Choice):- statistics(runtime, _), time(solve_traditional(Difficulty,Selection,Choice,_)), time(solve_traditional(Diff

1熱度

1回答

ECLiPSe CLP鍵入錯誤？

我試圖讓在Eclipse CLP一個數獨板的尺寸，但是我得到以下錯誤： type error in dim([[_389, 9, 8, _395, _397, _399, _401, _403, _405], [_409, _411, _413, _415, 7, _419, _421, _423, _425], [_429, _431, _433, _435, 1, 5, _441, _443,

1熱度

1回答

ECLiPSe clp：獲取網格上的所有相鄰單元

所以我的問題是以下幾點：我想，給定點X座標，在網格中的Y座標，以返回其所有相鄰的單元格。（注意：在下面的例子中，我使用符號UL =左上，UM =中上，UR =右上，L =左，R =右，BL =左下，上的5×5網格 _ _ _ _ _ _ UL UM UR _ _ L x R _ _ BL BM BR _ _ _ _ _ _ 對於對於元素x在（3,3）：BM =底部中間和BR =右下

2熱度

1回答

如何檢查Prolog中的子矩陣的元素

我正嘗試在EclipsE Prolog中編寫一個Shikaku求解器。我的約束上定義如下： solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shikaku(Width, Height, Hi

3熱度

3回答

如何爲Prolog指定列表的所有元素都必須是1或0？

如何確保序言列表中的所有元素都是0或1？我需要生成一個給定長度的列表，並確保它只有這兩個數字： E.g. [0,0,0,0,0,0]，[1,0,0,1,0,1,1]等我想要使用像IC或FD這樣的庫，但我可以'很清楚如何用每種方法處理這個問題。

1熱度

1回答

實例化故障ECLiPSe CSP

我在ECLiPSe下有我的CSP問題。我希望通過2 [eclipse 11]: test(Xs). instantiation fault in (_268{[1..4]}*100 + _200{[0..9]}*10 + _302{[0..9]}*1) mod 2#=0 Abort 感謝您的幫助，以添加約束到我的密碼這需要由兩個代表的數整除。我的代碼： /* T W O

1熱度

1回答

以可讀形式列出Eclipse CLP中的所有約束條件

我有一個ECLiPSe腳本，其目標是將我的問題編碼爲一組算術約束。在REPL，我最終得到的延遲目標清單看起來如下： -(_2941{4 .. 7}) + _2900{1 .. 4} #=< 0 _2941{4 .. 7} - _2900{1 .. 4} #= 3 -(_3393{7 .. 21}) + _3352{4 .. 18} #=< 0 _3393{7 .. 21} - _3352

3熱度

2回答

這個prolog優化解決方案有什麼問題？

solve(Amounts) :- Total = 1505, Prices = [215, 275, 335, 355, 420, 580], length(Prices, N), length(Amounts, N), Amounts :: 0..Total//min(Prices), Amounts * Prices #= Tot

1熱度

1回答

如何在eclipseCLP prolog中使用clpfd（無eclipse java IDE）

我想在prolog中使用CLP做一個簡單的路由計劃，使用eclipseclp 我想使用clpfd prolog庫，但編譯器無法識別他們。我得到這個錯誤： library not found in use_module(library(clpfd)) 我已經安裝了所有的eclipseCLP的第三方庫，但我無法解決這個問題。