堆棧內存溢出
cost 320 ms
ECLiPSe 與 VSCode 集成

[英]ECLiPSe Integration with VSCode

我剛剛花了三個小時嘗試在 Windows 中為 VSCode 和 ECLiPSe 配置我的工作環境（我是 VSCode 的新手，在 ECLiPSe 中生銹了）。 迄今為止我在 VSCode 中創建了一個任務（和一個鍵盤快捷鍵）來啟動 TkEclipse（GUI） 在 TkECLiPSe Tools- ...

ECLIPSe-CLP 中不可控的自動傳播行為是什么？

[英]What is the uncontrollable automatic propagation behavior in ECLIPSe-CLP?

我正在嘗試研究、評估和比較 ECLIPSe-CLP 中的一些搜索方法。 評估所述系統中方法的復雜性和有效性的關鍵方法是計算回溯，使用來自 lib(ic_search) 的謂詞 search/6 實現。 但是，在我的測試中，我注意到Eclipse軟件在進入搜索之前自動應用了一些類似於域傳播的過程，我 ...

prolog max_min_eval/2 解決問題

[英]prolog max_min_eval/2 solution issue

我想創建一個謂詞max_min_eval/2或max_min_eval(List,Result)來讀取這樣的列表[1,min,2,max,4,max,3] -> (((1 min 2) max 4) max 3)在 eclipse prolog 中並將結果放入變量中。 我怎樣才能做到這一點？ ...

如何使用 Prolog 的 foreach/2 循環

[英]How to use Prolog's foreach/2 loop

我試圖讓foreach/2循環在 Prolog 中工作（使用 tkeclipse）。 我知道它需要第一個參數中的一個元素和一個列表來搜索該元素作為第二個參數。 我的問題是，盡管我試圖重寫我的代碼並在線尋找解決方案，但我還是無法讓它工作。 在下面的代碼中，我嘗試編寫一個謂詞visite/2 ，它接 ...

ECLiPSe CLP - TSP 與時間 WIndow。 我如何計算成本？

[英]ECLiPSe CLP - TSP with Time WIndow. How do i calculate the cost?

我正在研究 TSP 的變體，其中每個節點都有一個時間 Window，但我在計算成本 function 時遇到了一些問題。 我使用的是繼任者 model，所以我有一個列表，其中每個變量表示下一個目的地，Xi = j 是從節點 i 到節點 j 的鏈接。 我的代碼如下所示： 其中different_fr ...

斑馬之謎的年齡比較

[英]Age comparsion for Zebra Riddle

我正在嘗試通過 CLP 使用 ECLiPSe Prolog 解決類似於愛因斯坦謎題的邏輯謎題： 一個樂隊有 6 位爵士樂手，沒有一位年齡小於 70 歲。 每個藝術家都寫過不同的歌曲。 The used instruments are: a piano at position 1 (outer le ...

是否有找到ECLiPSe常見問題的好資源？

[英]Is there a good source for finding common problems with ECLiPSe?

作為ECLiPSe的新用戶，我遇到了問題。 我可以查閱.pl文件，但是當我將擴展名更改為.ecl我收到了一條文件不存在的消息。 我什至可以運行.pl文件，但無法訪問任何輔助謂詞。 只有最長的一個跑了。 （它沒有被稱為main 。） 我終於增加了一條export線，解決了這個 ...

是否可以延遲分配操作

[英]Is it possible to delay an assignment operation

我有一個小的腳本/代碼，我想施加一些active約束。 在下面顯示的代碼中，我有P[I,J] #= E ，在下一行Result[I,E] #= J但這引發了instantiation error因為未實例化E 對於這些約束，我需要知道P[I,J]值是多少，所以如果我將其寫為E is P[ ...

在條件開頭使用整數懸浮時將如何處理

[英]How integer suspension will be handled when it is used in head of a condition

我對兩個變量A和B具有以下條件： 問題出在第2行，求解器不知道A和B的值，如何在不指定第2行的變量值的情況下確定條件的哪個分支將繼續？ 合理的做法是，當求解器遍歷變量的可能值時，根據變量的值決定該分支。 但是，正如我發現的那樣，在知道變量的值之前，它會經過這些表達式之一。 有什 ...

Eclipse CLP：約束/變量的最大數量

[英]Eclipse CLP: maximum number of constraints/variables

在Eclipse CLP中，我可以定義多少個約束或變量？ 我目前正在重塑我的調度問題-我需要更換一個alldifferent與眾多約束atmost限制。 但是由於引入了此更改，所以我的ecl腳本不起作用。 “不工作”是指Eclipse CLP-eclipse.exe或TkEclipse ...

ic_global/occurrences/3 的內部工作原理

[英]Internal workings of ic_global/occurrences/3

對於 QuasiGroup 完成問題，我實現了兩個模型。 其中之一是僅基於通道約束的模型（基於 Dotu 的一項研究）。 另一種是基於每個值都需要出現在任何行/列中這一事實的模型。 這是一個小腳本： 我在一堆基准測試（超過 10 個謎題）上進行了嘗試。 回溯的總數大於 500，但令我震驚的是兩個 ...

強制執行列表的不平等？

[英]Enforcing inequality of lists?

對於給定的 CSP，我使用了多種觀點，其中一種是使用大小為NxNxN的可變數組的更奇特的布爾模型。 然后我用這個片段強制各種子數組的不平等： 模型的性能很差，所以我很想知道更多幕后發生的事情。 這是確保兩個給定列表不同的正確方法嗎？ 我是否正確理解Constraints列表中的每個約束（ X # ...

遍歷作為子數組的列表

[英]Looping through a list which is a subarray

我正在使用ECLiPSe 6.1。 我有一個維度為N x N的變量數組，我們稱其為Vars 。 現在，我用my_procedure(Vars[1..N,1..2])調用一個過程。 在過程（ my_procedure(List) :- ... ）中，使用了類似(foreach(X, Li ...

Eclipse CLP標簽：排除排列

[英]Eclipse CLP labeling: exclude permutations

我正在解決一個調度問題（在此簡要描述： SWI Prolog CLP（FD）調度切換到ECLP）。 我能夠快速獲得一些解決方案，但是現在我想合並一些優化任務。 問題/時間表行的一部分看起來像D1,D2,N1,N2,A0,A1,A2,..,A9 ，其中此變量的一些成本為C1,C1,C1 ...

CLP：'不是三個相同的價值'的有效模型

[英]CLP: Efficient model of 'not three same values'

我需要在Eclipse CLP中建模這個（簡單）約束： 給定三個域變量，讓我們說D1 ， D2和D3 ，我想確保這三個變量不會以相同的值結束。 其中兩個可以有相同的價值。 版本1 我的第一個想法是： D1 #\\= D2 or D1 #\\= D3 但我不喜歡模型 ...

對列表中的變量應用OR約束

[英]Apply OR constraint over the variables in a list

假設我們有一個變量列表。 我們想對變量應用約束，但是這些約束的關系是or 。 我們如何在Eclipse CLP（prolog）中做到這一點？ 我們應該注意，如果列表很短，例如A is [X, Y, Z]則平凡解為A[0] #= 0 or A[1] #= 0 or A[2] #= 0 （ ...

如何在Eclipse-clp程序中使用數據文件

[英]How can use data file with Eclipse-clp program

如何使用Eclipse-clp或Prolog程序使用數據文件。 for Variables和Array值。 例如，如果你想將數據作為一個大數組提供給程序。如何從數據文件中讀取這些數據？ ...

Eclipse-clp中nth1謂詞的可能錯誤？

[英]Possible bug with nth1 predicate in Eclipse-clp?

我在Prolog中編寫數獨求解器。 數獨本身是向量的向量： 我使用以下代碼將其轉換為矩陣： 這對於前8行和第幾列都適用，但是對於每次I或J為9都失敗。執行nth1（9，P，RowI）使RowI成為全新的變量，而不是第9個向量/行。 執行nth1（9，RowI，Elem）不會返 ...


排序:
質量:
 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM