clpfd

    0熱度

    2回答

    我知道序言沒有返回值,但我需要更新一些變量的值,並用該程序獲得它在控制檯: max(A,B,C) :- (A>B -> C is A ; C is B). maxAltura([],RES). maxAltura([c(X,Y)|[]],RES) :- max(RES,Y, SUM). maxAltura([c(X,Y)|R1],RES) :- RES>Y, maxA

    1熱度

    1回答

    下圖所示爲附圖所指的含義。 By labelling each cell with a variable, express the puzzle as a CSP. Hint: recall that a CSP is composed of three parts. 我最初以爲只是像A,B,C等各細胞添加變量到每個單元格,然後約束這些細胞,但我不相信這是正確的。我不想要答案只是解釋什麼是必

    5熱度

    3回答

    創建算術和disequality限制我的品牌新的Prolog的,我很感興趣,將下面的文字題成(SWI)序言: 有4個孩子:安倍晉三,丹,瑪麗和蘇。他們的年齡沒有特別的順序是3,5,6和8歲。安倍比丹年長。蘇比瑪麗還年輕。蘇的年齡是丹的年齡加上3年。瑪麗比安倍還年長。 到目前爲止,我已經拿出 child(X) :- member(X, [3,5,6,8]). solution(Abe,

    2熱度

    1回答

    我試圖定義函數int(?X)在序言這是一個非零整數發生器,它是這樣工作的非零整數的列表: ?- int(X). X = 1 ; X = -1 ; X = 2 ; X = -2 ; 我嘗試以下沒有運氣: int(X):- positives(Y), Y is abs(X). positives(1). positives(X):- positives(Y), X is Y+1. ,但我

    2熱度

    1回答

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

    1熱度

    1回答

    我正在使用序言來嘗試解決kakuro難題。我有這樣的,其中R和C分別代表行和各框的起點規則的列表,L代表長度,S是該行中的數字的總和, % across(R, C, L, S) across(2,4,2,4). across(2,10,2,4). across(3,4,4,12). across(3,10,2,6). across(4,3,2,6). 據我可以告訴,爲了解決使用約束的

    3熱度

    2回答

    所以,這是我一直試圖解決一段時間的練習。我得到了這樣一個輸入列表[a-b,b-c],它們是連接節點的節點和弧。的條件是: 節點,需要具有一個獨特的號碼相關聯,從1至N, 和弧都要求有一個唯一的號碼相關聯的,從1到N-1,而且數目必須減去弧連接的節點的結果。 所以答案應該是: EnumNodos = [enum(3,a), enum(1,b), enum(2,c)], EnumArcos = [e

    3熱度

    1回答

    我對Prolog還是一個新手,我遇到了一個錯誤,我不知道如何解決。 我寫了一個簡單的程序冪看起來像這樣: exp(b, 0, R) :- R is 1. % non-recursive case: exponent is 0 exp(0, e, R) :- R is 0. % non-recursive case: base is 0 exp(Base, Exponent, Resul

    1熱度

    1回答

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

    2熱度

    1回答

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