На этом шаге мы рассмотрим как происходит вывод элементов стека.
Пусть 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 - не пуст.
На следующем шаге мы приведем общие сведения о деке.