sicstus-prolog

1熱度

1回答

我希望篩選出該列表List=['F1',a1,a2,' LF2',a1,a2]與謂詞is_upper/2和MAPLIST/3的下方 is_upper(Elem,Res)：如果Elem是大寫的原子，它將被分配到RES 然後我'd想把所有的大寫原子放入列表中List_Upper 我試試這個; ?- maplist(is_upper,List,List_upper). List_Upper = ['F

0熱度

1回答

將註釋字符串轉換爲sicstus-prolog中的ASCII字符列表

當前我正在處理SICStus3和SICStus4之間的比較，但是我得到了一個問題，即SICStus4不會諮詢任何註釋字符串具有運輸控件或製表符等的情況下面給出。下面給出的示例情況。它有3個帶逗號分隔符的參數。 case('pr_ua_sfochi'," Response: answer(amount(2370.09,usd),[[01AUG06SFO UA CHI Q9.30 1085.58

2熱度

1回答

prolog：如何用global_cardinality判斷一個列表中至少有N個元素等於M（M，N是整數）

例如：我有一些變量：A，B，C，D和一個條件：in [ A，B，C，D]列表必須有至少兩倍的數字2. 我只能使用global_cardinality/2組合約束。

1熱度

1回答

意外錯誤

最近，當我嘗試編譯我的項目，有時一個意外的錯誤出現，錯誤「段違規的！」 % Execution aborted % source_info | ?- ! segmentation violation 有沒有發生什麼事情解釋清楚！

1熱度

1回答

序言：含有斷言規則只添加了第一個結果，以事實

我試圖預先計算一些東西和我的節目開始將結果保存爲事實：（簡化代碼） :- dynamic cost/2. %recipe(Id,Cost) recipe(1,20). recipe(2,40). assert_all :- recipe(Id,Cost), assert(cost(Id,Cost)). 但只有第一結果，當我在協商的Prolog SICStus文件成本（1,20）被斷言

1熱度

1回答

SICStus Prolog 4.3.2：clpfd沒有權力？

我的一些Prolog程序可以利用有點有點，如果我可以替換所有(is)/2爲基礎的整數算術的clpfd對應。所以我想力量...與... clpfd，所以我可以用的東西clpfd-Y :) 考慮以下五個Prolog的處理器，支持clpfd更換X is 10^3： GNU Prolog 1.4.4 ?- X #= 10^3. uncaught exception: error(type_erro

25熱度

1回答

從Prolog傳遞任意大小的整數到C

現在，我正在學習如何連接SICStus Prolog和C代碼。我想有/使用/看C實現在SICStus Prolog的版本任意大小的整數的「漢明權」的4 在我看來，我需要進行測試項類型的C函數（ SP_is_integer）以及用於訪問Prolog項的C函數（SP_get_integer，SP_get_integer_bytes）。但是，我不確定如何以便攜，強大的方式使用SP_get_integ

6熱度

1回答

表達設置時間與累積值

有安排上的問題，許多家庭。我期待到那裏我的地方從一個家庭到另一個家庭過渡需要重新配置機器（建立時間）工作/家庭任務的一個問題。我使用cumulatives[2/3]來解決這個問題，但我不確定如何設置時間可以表示。在這個小例子，我有屬於3個不同家庭的10種任務。任何任務都可以在任何機器上運行，但是從一個系列中的一個任務切換到另一個系列中的另一個任務需要添加安裝時間。 :- use_modu

2熱度

2回答

SICStus Prolog 4：從Prolog傳遞整數到C

不斷學習SICStus Prolog 4 FFI的C到C，我對https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/Foreign-Code-Examples.html#Foreign-Code-Examples中的示例謂詞c1/2有一個具體的問題。 ex.pl包括行： foreign(c1, c, c1(+integer,

1熱度

1回答

SICStus Prolog在x86平臺上的升級

目前我們在32位平臺上使用SICStus版本：3.12.10和patch1（x86-linux-glibc2.3）。我的要求：按照新要求，我們必須將SICStus Prolog版本4.2.3和x86平臺從32位升級到64位。你能解釋一下代碼修改是什麼？編輯：謂詞atom_codes/2，number_codes/2同時支持Sicstus prolog版本3和4.類似地，在SICStus Pro