На этом шаге мы рассмотрим как происходит вывод элементов стека.
Пусть write_stek (L, N) - предикат, реализующий вывод списка L. N - переменная, с помощью которой определим, пуст ли список. Предикат, выполняющий вывод списка, выглядит следующим образом:
write_stek ([], 0):- write ("Стек пустой!!!"). write_stek ([], 1):-!. write_stek ([H|T], _):- write (H, " "), write_stek (T, 1).
Первое предложение является граничным условием: необходимо прекратить вывод в том случае, когда список уже пуст.
Второе предложение осуществляет вывод головы списка и рекурсивный вызов предиката, выводящего хвост списка. Если второй аргумент 0 - стек пуст, 1 - не пуст.
На следующем шаге мы приведем общие сведения о деке.