6.13. Наблюдение за выполнением программы на Прологе