как находится максимальный элемент в списке.

Здравствуйте, возникла проблема, не могу понять как находится максимальный элемент в списке. То что на трёх языках написал бы не задумываясь, на прологе уже готовая программа заставляет задуматься. Вот код:
Сначала, напишу, то что понятно:
Первый факт предиката max_price насколько я понимаю означает следующее: если в списке один элемент, то его значение присваивается переменной Max1.
Второе правило предиката max_price отсекает голову от списка и в качестве второй переменной подаётся Max1. Предикат max_price вызывается рекурсивно с хвостом списка и переменной M, до тех пор пока не останется один элемент. Когда остался один элемент, срабатывает первое правило предиката, прерывая рекурсию, и в переменной M оказывается значение Max1 = 5. Когда рекурсия остановлена, предикат max должен сработать со всеми элементами в стеке, значение M уже есть, значение H = 2500, последняя отсечённая голова. В Max1 оказывается после вычисления в правиле max - 2500.
Теперь непонятки, во первых стек: если пройтись дебагером, оказывается, что стек следующий:
1) max_price([5], _)
2) max_price([2500, 5], _)
3) max_price([35, 2500, 5], _)
Если стек такой, откуда берётся H? Я думал отсечённые головы заносятся в стек. Как в переменной M оказывается значение 2500?. Насколько я понимаю 2500 должно было занестись в Max1. Надеюсь я понятно изложился? На каком моменте в моём объяснении начался бред если он есть, и как правильно это понимать?

0

Какое-то путанное объяснение)
Незачем в эти стэки влазить, логику поймите

1

хорошо, есть список: [3, 5, 60 ,34, 20]. Какое первое значение примет M, какое второе и т. д. и почему?
По идее первое значение будет 20, так как этот элемент останется последним и единственным в списке, H будет - 34. Максимальное значение из этих двух 34. А дальше как и почему?

0

Потом будет
H=60, M=34 -> Max1=60
H=5, M=60 -> Max1=60
H=3, M=60 -> Max1=60

0

наверное я сильно туплю, но не могу понять как 34 попало в M?

Добавлено через 7 часов 58 минут
Грымзик, вы можете, мне объяснить, как в M попадает максимальное выбранное в max из двух H, M значение, оно же записывается в Max1?

0

Не могу, я не мастер на объяснения, а тем более когда Вы просто чего основного не понимаете. Максимум из двух записывается в Max1, но предикат его и возвращает, ведь max_price([H|T], Max1), и поэтому при вызове max_price(T, M) М примет значение, которое когда-то имела Max1.

0

Я так и подумал примерно, но не был уверен, так как не мог это последовательно проверить, там всё очень непривычно буду еще писать на пролог и привыкну, спасибо большое за объяснение.

0