Trouver le max dans une liste - Prolog

J'étais juste présenté à Prolog et suis en train d'écrire un prédicat qui recherche la valeur maximale d'une liste d'entiers. J'ai besoin d'en écrire un qui compare depuis le début, et l'autre qui compare de la fin. Jusqu'à présent, j'ai:

max2([],R).
max2([X|Xs], R):- X > R, max2(Xs, X).
max2([X|Xs], R):- X <= R, max2(Xs, R).

Je me rends compte que R n'a pas été initié pourtant, il est donc impossible de faire la comparaison. Ai-je besoin d'3 arguments afin de compléter cette?

InformationsquelleAutor user2796815 | 2013-11-05
  1. 5
    my_max([], R, R). %end
my_max([X|Xs], WK, R):- X >  WK, my_max(Xs, X, R). %WK is Carry about
my_max([X|Xs], WK, R):- X =< WK, my_max(Xs, WK, R).
my_max([X|Xs], R):- my_max(Xs, X, R). %start

    autre façon

    %max of list
max_l([X],X) :- !, true.
%max_l([X],X). %unuse cut
%max_l([X],X):- false.
max_l([X|Xs], M):- max_l(Xs, M), M >= X.
max_l([X|Xs], X):- max_l(Xs, M), X >  M.
    • max2([],R). première requête :-max2([],R) match max2([],R) Mais il n'est pas possible de déterminer la R.
    • Je vous remercie. Cela serait-il considéré comme le comparant au début ou à la fin? Comment vous y prendriez-vous le faire dans l'autre sens?
    • Je vais être comparé depuis le début de cette manière.
    • raison pour laquelle le downvote il?
    InformationsquelleAutor BLUEPIXY
  2. 4

    Ignorant les devoirs des contraintes sur le démarrage à partir du début ou de la fin, la bonne façon de mettre en œuvre un prédicat qui obtient le numérique maximale est comme suit:

    list_max([P|T], O) :- list_max(T, P, O).

list_max([], P, P).
list_max([H|T], P, O) :-
    (    H > P
    ->   list_max(T, H, O)
    ;    list_max(T, P, O)).
    InformationsquelleAutor salva
  3. 3

    Comme une alternative à BLUEPIXY réponse, SWI-Prolog est un builtin prédicat, max_list/2, qui fait la recherche pour vous. Vous pourriez aussi envisager une méthode plus lente, de l'OMI utile de se familiariser avec plus d'objets internes et non-déterminisme (et puis les retours en arrière):

    slow_max(L, Max) :-
   select(Max, L, Rest), \+ (member(E, Rest), E > Max).

    rendements

    2 ?- slow_max([1,2,3,4,5,6,10,7,8],X).
X = 10 ;
false.

3 ?- slow_max([1,2,10,3,4,5,6,10,7,8],X).
X = 10 ;
X = 10 ;
false.

    modifier

    Remarque vous n'avez pas strictement besoin trois arguments, mais juste pour avoir correctement instancié variables pour effectuer la comparaison. Ensuite, vous pouvez "renverser" le flux de valeurs:

    max2([R], R).
max2([X|Xs], R):- max2(Xs, T), (X > T -> R = X ; R = T).

    encore une fois, c'est plus lent que les trois arguments boucles, suggéré dans d'autres réponses, parce qu'il va vaincre "queue de récursivité optimisation". Aussi, il ne fonctionne tout simplement trouver un de la maxima:

    2 ?- max2([1,2,3,10,5,10,6],X).
X = 10 ;
false.
    InformationsquelleAutor CapelliC
  4. 2

    Voici comment le faire avec les expressions lambda et méta-prédicat foldl/4, et, éventuellement, clpfd:

    :- use_module([library(lambda),library(apply),library(clpfd)]).

numbers_max([Z|Zs],Max) :- foldl(\X^S^M^(M is max(X,S)),Zs,Z,Max).
fdvars_max( [Z|Zs],Max) :- foldl(\X^S^M^(M #= max(X,S)),Zs,Z,Max).

    Passons à l'exécution de certaines requêtes!

    ?- numbers_max([1,4,2,3],M). % entiers: tous sont distincts 
M = 4. % réussit de façon déterministe 
?- fdvars_max( [1,4,2,3],M). 
M = 4. % réussit de façon déterministe 

?- numbers_max([1,4,2,3,4],M). % entiers: M se produit deux fois 
M = 4. % réussit de façon déterministe 
?- fdvars_max( [1,4,2,3,4],M). 
M = 4. % réussit de façon déterministe

    Que si la liste est vide?

    ?- numbers_max([],M).
false.
?- fdvars_max( [],M).
false.

    Enfin, certaines requêtes montrant les différences entre numbers_max/2 et fdvars_max/2:

    ?- numbers_max([1,2,3,10.0],M). % ints + flotteur 
M = 10.0. 
?- fdvars_max( [1,2,3,10.0],M). % ints + flotteur 
ERREUR: erreur de Domaine: `clpfd_expression attendu, trouvé `10.0' 

?- numbers_max([A,B,C],M). % plus générales d'utilisation 
ERREUR: est/2: les Arguments ne sont pas suffisamment instancié 
?- fdvars_max( [A,B,C],M). 
M#>=_X, M#>=C, M#=max(C,_X), _X#>=A _X#>=B _X#=max(B,A). % résiduel objectifs
    InformationsquelleAutor repeat
  5. 2

    Une approche très simple (qui commence à partir du début) est la suivante:

    maxlist([],0).

maxlist([Head|Tail],Max) :-
    maxlist(Tail,TailMax),
    Head > TailMax,
    Max is Head.

maxlist([Head|Tail],Max) :-
    maxlist(Tail,TailMax),
    Head =< TailMax,
    Max is TailMax.

    Comme vous l'avez dit, vous devez avoir les variables instanciées, si vous voulez évaluer une expression arithmétique. Pour résoudre ce problème, vous devez d'abord à l'appel récursif, et vous comparez.

    Espère que cela aide!

    InformationsquelleAutor toioski
  6. 1
    list_max([L|Ls], Max) :- foldl(num_num_max, Ls, L, Max).

num_num_max(X, Y, Max) :- Max is max(X, Y).

%Query will be

?-list_max([4,12,5,3,8,90,10,11],Max).
Max=90
    InformationsquelleAutor Tanusree Roy
  7. 0
     maximum_no([],Max):-

    write("Maximum No From the List is:: ",Max).
maximum_no([H|T],Max):-
    H>Max,
    N = H,
    maximum_no(T,N).
maximum_no(L,Max):-
    maximum_no(L,Max).
    InformationsquelleAutor Harsh Mehta