eclipse-clp

2熱度

3回答

我是新來的CP。到目前爲止，我已經玩過MiniZinc，我發現這很有趣。之前，我犯了太多，我想弄清楚&求解器是什麼CP語言最好先在最活躍的社區而言，積極地開發和研究使用，最好的學習資源（例子&教程）。目前爲止的選項似乎是：MiniZinc，ECLiPSe和or-tools。謝謝，

1熱度

2回答

連接java與約束邏輯編程

我試圖用約束邏輯連接java，我使用netbeans爲java和eclipse 6.1爲約束邏輯，但是當我試圖運行代碼時出現異常java.lang.IllegalArgumentException: Missing eclipse.directory property 我已經使用了一個解釋如何連接它們的教程，它說編譯之後，運行程序，像通常那樣啓動Java解釋器，但是在類的名稱之前，提供命令行選項

-1熱度

1回答

如何在SEND + MORE = MONEY程序中使用Prolog的標籤功能（ECLIPSE程序）？

因此，我設法爲Prolog編寫了SEND + MORE = MONEY程序，並且在標記結果時遇到了麻煩。任何想法如何做到這一點？我一直使用標籤功能，但它仍然無法正常工作。我迷失在這裏。 :- lib(ic). puzzle(List) :- List = [S, E, N, D, M, O, R, Y], List :: 0..9, diff_list(List)

2熱度

1回答

如何使用ECLiPSe Prolog中的模塊自由斷言/收回事實？

我想以下運行測試用例： test :- assertz(abc : uvw(1)). 在SWI-Prolog的上述作品。但是我在使用它在ECLiPSe Prolog中工作時遇到問題。我收到以下錯誤： trying to redefine an existing imported procedure in assertz(abc : uvw(1)) 我沒有進口ABC：UVW/1，它也不存

1熱度

1回答

如何在Prolog的硬幣計數器貨幣程序中包含一個值？

所以這是一個貨幣系統，可以用8個不同的硬幣值計算最少的硬幣數量。例如：1美分，2美分，4美分，33美分等...其中一枚硬幣的值必須爲'5'。所以這個程序正在試圖確定其他個人價值硬幣的其他價值必須有多少，每個價值有多少硬幣總和在1和99美分之間。所以我的問題是，有沒有辦法寫一段代碼，而不必手動插入'5'到程序中（例如：值= [_，_，_，_，5，_，_，，_]或值= [_，5，_，_，_，_，_

1熱度

2回答

如何在Eclipse CLP中讀取流？

我是Eclipse的新手，我一直在嘗試讀取文件流而沒有成功。我通常使用這種在SWI-Prolog的代碼是這樣的： read_until_stop(File, [L|Lines]) :- read_line_to_codes(File, Codes), Codes \= end_of_file, atom_codes(L, Codes), L \= stop,

0熱度

1回答

將ECLiPSe移植到Prolog

我已經解決了使用ECLiPSe在會議中分配文章的問題。目標是：類似的文章應該在同一屆會議上。這是在Eclipse工作溶液： :- lib(fd). paper(1, 'An Empirical Study on Using Stereotypes to Improve Understanding of UML Models'). paper(2, 'Tool-Support

0熱度

1回答

解決 - 日食的Clp Prolog的動態約束

我有這樣的約束： B #> P1*V1 + P2*V2 + P3*V3+ P4*V4 + P5*V5 + P6*V6 +P7*V7 + P8*V8 + P9*V9 + P10*V10 與P=[1,2,3,4,5,6,7,8,9,10] and V=[V1,V2,V3,....], V::0..1 我想實現這個約束中動態的方式與N元素（的P和V基數將N）。如果我用一個循環實現這個，我有實例化

-1熱度

1回答

如何訪問prolog列表中的元素？

因此，我試圖從列表中獲取單個元素使用Prolog而不使用遞歸，只依靠循環，如foreach，foreachelem等...... 所以我有一個列表Xs = [1,2,3]，我想單獨獲取每個元素。最好的我想出到目前爲止，這是... sumOfList(Xs, Max) :- (foreach(List, Xs), count(I, 1, _), param(Xs) do