Я хочу создать предикат max_min_eval/2 или max_min_eval (список, результат), который читает список, подобный этому [1, мин, 2, макс, 4, макс, 3] -> (((1 мин 2) макс 4) макс 3), в прологе eclipse и помещает результат в переменную. Как я могу это сделать?
Это мой код:
%% seperate_lists/3
%% seperate_lists(List,Lets,Nums)
seperate_lists([], [], []) .
seperate_lists([X|Xs] , [X|Lets] , Nums) :-
not(number(X)),
!,
seperate_lists(Xs,Lets,Nums).
seperate_lists( [X|Xs] , Lets, [X|Nums] ) :-
number(X),
!,
seperate_lists(Xs,Lets,Nums).
seperate_lists([_|Xs], Lets, Nums) :-
seperate_lists(Xs,Lets,Nums).
%% max_min_eval/2
%% max_min_eval(List,Result)
max_min_eval_aux(_,[Result],Result).
max_min_eval_aux(Lets, Nums, Result) :-
[LH|LT] = Lets,
[NH1,NH2|NT] = Nums,
(
('max' = LH, max(NH1,NH2,Result), append([Result],NT,NewNums), NewLets = LT, max_min_eval_aux(NewLets,NewNums,Result));
('min' = LH, min(NH1,NH2,Result), append([Result],NT,NewNums), NewLets = LT, max_min_eval_aux(NewLets,NewNums,Result))
).
max_min_eval(List,Result) :-
seperate_lists(List,Lets,Nums),
max_min_eval_aux(Lets,Nums,Result).
Проблема в том, что это не работает для ?- max_min_eval([1,max,10,min,2],Result)
, работает только для списка из 3 элементов, подобного этому ?- max_min_eval([1,max,4],Result)
или ?- max_min_eval([2,min,5],Result)
Вы можете жадно оценить выражение:
max_min_eval([First|Tail], Res):-
max_min_eval(Tail, First, Res).
max_min_eval([],Res, Res).
max_min_eval([Op, R|Tail], L, Res):-
max_min_eval_op(Op, L, R, L1),
max_min_eval(Tail, L1, Res).
max_min_eval_op(max, L, R, Res):-
max(L, R, Res).
max_min_eval_op(min, L, R, Res):-
min(L, R, Res).
Добавьте эти процедуры, если ваш процессор Prolog не имеет max/3
и min/3
:
max(A,B,M):- M is max(A,B).
min(A,B,M):- M is min(A,B).
Пример запуска:
?- max_min_eval([1,min,2,max,4,max,3], R).
R = 4.
Ваш код почти правильный. Вы только что использовали имя переменной Result для двух разных целей в max_min_eval_aux/3: для промежуточного результата min/max/3 и для конечного результата всей рекурсии. Переименуйте один из них, и он работает.