:- set_prolog_flag(verbose,silent).
:- prompt(_, '').
:- use_module(library(readutil)).


local_max([],[],_).
local_max([XH|XT],Y,Temp) :-
    ( XH =< Temp ->
      local_max(XT,Y,Temp)
      ;
      local_max(XT,R,XH), Y = [XH|R]
    ).
main:-
	process,
	halt.

process:-
	local_max([ 1, 5, 2, 3, 4, 10, 15, 11, 12, 13, 20 ],A,0),
	write(A),
	true.

:- main.