clpb

2熱度

1回答

我有以下生成隨機值： :-use_module(library(clpfd)). list_index_value(List,Index,Value):- nth0(Index,List,Value). length_conindexes_conrandomvector(Length,Conindexs,Randomvector):- length(Randomvect

3熱度

2回答

序言：扣除物品可以完全在兩套之一中，套裝尺寸已知

我有5人在一個房間裏。我會寫規則來判斷人們是開心還是悲傷。然而，在我開始之前，我已經掌握了以下知識 - 在5箇中 - 正好3個是快樂的，2個是悲傷的（兩個都不是）。因此，應該可以根據這一點進行推斷：如果 - 無論如何 - 我知道三個快樂的人是誰，那麼我可以推斷出這兩個傷心的人，反之亦然。到目前爲止我有什麼如下： person(bob). person(tim). person(steve).

2熱度

1回答

用prolog在txt文件中打印結果

我使用Prolog和clpd來解決布爾問題。我有如下這樣的規則： :- use_module(library(clpb)). fun(A, B, C, D, E) :- sat(A + B + C, D), sat(E), labeling([A, B, C, D, E]); 是否可以在文件中打印結果？我能怎麼做？

-2熱度

1回答

查找邏輯公式的一致賦值

我即將在Prolog中實現邏輯術語的證明者。我目前的代碼並不真實，因此，我只想說明我希望我的程序做什麼，並希望你能給我一些好的建議:) 它應該採取變量列表（可以這麼說邏輯參數），其次是包含這些參數的邏輯公式（例如'not'(A 'and' B) 'or' 'not'(B 'and' C) 'or' ...等等）。作爲輸出，我希望我的程序對可能的一致分配做出響應。單參數可以是true（1）或fal

3熱度

4回答

約束編程布爾求解器

休伊，杜威和路易被他們的叔叔質疑。這些是他們的陳述： •休伊：「杜威和路易在這方面有相同的份額;如果一個人是有罪的，所以是其他「 •杜威：‘如果休伊是有罪的，那麼我也是。’ •路易：‘杜威和我不都無罪’ 。他們的叔叔知道他們是偵察員，他們意識到他們無法說謊。我的解決方案。 var bool :D; var bool :L; var bool :H; constraint D <->L

1熱度

3回答

如何從序言中的兩個列表構建一個列表

我是一個序言新手，我發現很難用遞歸方式思考。假設我有兩個列表：list1 [0,0,0,1,1,0,1,1]，list2 [1,0,1,0,0,0,1,1]。我想返回一個列表，當list1或list2在相應的位置上有1時，列表中的值爲1。 merge([H1|[]],[H2|[]],[H3|[]]):- H2 = 1, H3 = 1, H1 is 1. merge([H1|T1],[H2|T2]

0熱度

2回答

序言可以用來確定無效的推論嗎？

如果我有兩個前提如下：一個 - > C（A意味着C）乙 - > C（b。默示C）和派生的結論：一個 - > b（A因此意味着b）中，那麼結論可能會顯示爲無效，因爲： a - > c對於語句＃1有效，當a爲真且c爲真時，且 b - > c對於語句＃2有效，當b爲假且c爲真正。當a爲真且b爲假時，這導致了 - > b，這是語句＃3的直接矛盾。或者說，每有一個包含一行真值表證明其中的前提是真

2熱度

1回答

構建從結構數據的邏輯表達式ClpB的

我有以下形式的數據： :-use_module(library(clpb)). %inputs are ids that will have an associated boolean value. input(i1). input(i2). input(i3). input(i4). input(i5). input(i6). input(i7). input(i8). in

4熱度

2回答

Prolog實現和/ 2，或/ 2，nand/2，nor/2，xor/2

我想在prolog中實現以下謂詞並將它們用於真值表：and/2或/ 2，nand/2，也沒有/ 2，xor/2 也許有人可以告訴我如何實現和/ 2例如，我可以做其他人我自己和張貼在這裏。

1熱度

1回答

使用序言的電路驗證

我已經給出函數和謂詞來驗證2位全加器電路。這是我迄今理解： - 函數信號（t），其中t是終端和信號取值爲1或0 signal(T, V) :- V is 1; V is 0. 函數類型（X ）其中，類型是電路元件和類型（X）可以採用的值的XOR，而且，或 type(X, T) :- T is and; T is or; T is xor. 函數out（x）表示柵極x處的輸出，in（n，x）