查找列表上的最大數的兩個子句定義

Question

如何編寫兩個子句的遞歸定義來查找列表中的最大值。到目前爲止，我已經寫了這個：

max(L,M):- 

max([H|T],M):- 

max(T,H,M). 
max([],M,M). 
max([H|T],Y,M):- 
    H =< Y, 
    max(T,Y,M). 
max([H|T],Y,M):- 
    H > Y, 
    max(T,H,M). 

這是不行的，它說有一個語法錯誤，我不能完全看到了，我知道這是不是兩個條款無論是。任何人都知道我可以如何簡化它，使其成爲兩個條款？

Answer 1

語法錯誤的結果來自前兩個子句沒有主體的事實。

要回答你的問題，觀察到一個列表的最大可如下歸納定義：

• 最大的一個元素的列表是該元素。
• 具有多個元素的列表的最大值是頭部的最大值和尾部的最大值。

因此，

max_list([H], H). 
max_list([H|T], M2) :- 
    max_list(T, M), 
    M2 is max(H, M). 

此代碼使用max/2（SWI-Prolog，GNU-Prolog）。請注意，大多數或所有Prolog實現將具有內置函數max_list/2（S，G），因此實際上不需要自己定義它。

編輯：Bakore notes尾部遞歸實現可能更有效。你可以通過定義一個謂詞max_list/3來做到這一點，該謂詞需要額外的參數C，即迄今爲止看到的最大值。

max_list([H|T], M) :- max_list(T, H, M). 

max_list([], C, C). 
max_list([H|T], C, M) :- C2 is max(C, H), max_list(T, C2, M). 

Answer 2

和你一樣，我使用謂詞的'max'名稱。此實現不依賴任何內置謂詞：

max([X],X). 
max([X|Xs],X):- max(Xs,Y), X >=Y. 
max([X|Xs],N):- max(Xs,N), N > X. 

Answer 3

這裏是列表的列表

max_list([], C, C). 
max_list([H|T], C, M) :- C2 is max(C, H), max_list(T, C2, M). 

max_list([], []). 
max_list([[H|HB]|B],[RH|RB]) :- max_list(HB, H, RH), max_list(B, RB). 

ex: max_list([[1,3,6], [6,3,8,2],[2,1,0]]). 

Answer 4

疇

num=INTEGER 
list = num* 

爲最大的解決方案PREDICATES

nondeterm maxList(list,num) 

CLAUSES

maxList([A],A). 
maxList([A|List],Max):- Max=A,maxList(List,Max1),A>=Max1. 
maxList([A|List],Max):- Max=Max1, 
maxList(List,Max1),A< Max1. 

目標

maxList([1,2,3,5,4],Max). 

Answer 5

我認爲下面的代碼將解決這個問題：

max_list([],0). 
max_list([H],H). 
max_list([H|T],M):- max_list(T,M1),M is max(H,M1). 

Answer 6

這一件作品肯定

l:-listing. 
m(L,X):-aku2(L,0,X). 
aku2([],B,B). 
aku2([G|O],Maks,C):-maks(Maks,G,Maks1),aku2(O,Maks1,C). 
maks(A,B,C):-A>B, C is A. 
maks(A,B,C):-A=<B, C is B. 

Answer 7

list([H],H). 
list([H1,H2|T],X):-H1>H2,list([H1|T],X). 
list([_|T],X):-list(T,X). 

目標：list([3,9,4,5],M)

輸出：M=9

Answer 8

我知道這個問題是舊的，但這裏的使用if-then-else結構的答案：

maxmember([X],X). 
maxmember([H|T],Max) :- maxmember(T, M),(H>M -> Max is H ; Max is M).