prolog-dif

    1熱度

    1回答

    member(X,[X|T]). member(X,[H|T]):-member(X,T). delfstocc(X,[X|T],T). delfstocc(X,[Y|T],[Y|T1]):-delfstocc(X,T,T1),!. delallocc(X,L,L1):-member(X,L),delfstocc(X,L,R),!,delallocc(X,R,L1);write(L).

    3熱度

    5回答

    我讀了「7種語言在7天」 -book,並達到了Prolog的篇章。作爲一種學習練習,我試圖解決一些文本邏輯難題。讓人不解的雲如下: 五姐妹都有着各自在不同月份的生日,並在每一個不同的星期幾。使用下面的線索,確定每個姐妹的生日下降的一週中的月份和日期。 寶拉出生於3月,但不是在星期六。阿比蓋爾的生日不在星期五或星期三。 女孩在週一的生日是在今年超過布倫達和瑪麗出生的早。 塔拉不是在2月出生,她的生日

    0熱度

    2回答

    我是新來的Prolog和我被困在一個謂詞,我試圖做。其目的是通過給定P的四元組[X,Y,S,P]遞歸列表,當四元組具有相同的P時,它將其存儲在臨時列表中。當遇到新的P時,它會查看臨時列表是否大於長度2,如果是,則將臨時列表存儲在輸出列表中,如果小於2則刪除四元組,然後再次啓動遞歸新P. 繼承人我的代碼: deleteUP(_,[],[],[]). deleteUP(P,[[X,Y,S,P

    5熱度

    4回答

    我需要找到一個列表中的第一個重複的值。 prep(3,[1,3,5,3,5]).應該是真實的。 prep(5,[1,3,5,3,5]).應該是假的。 我想檢查與當前值和先前列表成員平等,直到我找到了重複的,如果找到的話,會測試與X平等的,但我不知道該怎麼做的序言! 我感謝任何幫助!由於

    4熱度

    2回答

    我正在閱讀Raymond Smullyan的「嘲笑一隻知更鳥」。在這本書中有一個難題,是這樣的: 這個故事的塞維利亞和西班牙的 著名的塞維爾(這其實沒有)之間如有雷同,純屬巧合 。在這個神話般的塞維利亞小鎮,男性居民在那些人身上戴假髮,只在那些他們喜歡的日子裏戴假髮。在所有日子裏,沒有兩個居民行爲相似;也就是說,給定任何兩名男性居民,至少有一天其中一人戴假髮,另一人不戴。 給定任何男性居民X和Y,

    4熱度

    2回答

    我學習Prolog的一個大學考試,我有這個練習的問題: Implement the predicate not_member(X,L) that is TRUE if the element X does not belong to the list L . 如果我的推論是正確的,我已經找到了解決辦法: % FACT (BASE CASE): It is TRUE that X is not in

    3熱度

    2回答

    我想訪問列表排列,並把它作爲參數傳遞給其它功能。 這是排列碼: takeout(X,[X|R],R). takeout(X,[F|R],[F|S]) :- takeout(X,R,S), write(S). perm([X|Y],Z) :- perm(Y,W), takeout(X,Z,W). perm([],[]).

    4熱度

    3回答

    我開始學習Prolog。該程序試圖獲取給定元素的所有事件: occurences(_, [], Res):- Res is []. occurences(X, [X|T], Res):- occurences(X,T,TMP), Res is [X,TMP]. occurences(X, [_|T], Res):- occurences(X,T,Res). 但這裏是錯誤

    0熱度

    2回答

    我跟隨Learn Prolog Now!並正在查看Exercise 2.4。 溶液我found here似乎解決,但不完全: word(astante, a,s,t,a,n,t,e). word(astoria, a,s,t,o,r,i,a). word(baratto, b,a,r,a,t,t,o). word(cobalto, c,o,b,a,l,t,o). word(pistola,

    3熱度

    1回答

    是什麼這之間的區別: X \= Y 和這段代碼: dif(X, Y) 我認爲他們應該做的相同,但他們不相同。這裏的例子: n_puta(L, N, X) :- nputa(L, N, 0, X). nputa([], N, C, _) :- N = C. nputa([G|R], N, C, X) :- G = X, nputa(R, N, Y, X), C is Y - 1. np