Основные разделы пролог программы. Переменные, объекты и типы данных в прологе. Поиск с возвратом. Управление поиском с возвратом: предикат fail и предикат отсечения