Внутренние и внешние цели

Если описание цели отсутствует в тексте программы и цель задается с клавиатуры в процессе работы после запуска программы на выполнение она называется внешней. Применение внешних целей оправдано при записи коротких целевых формулировок, а также для получения всего набора допустимых значений, получаемых в результате выполнения откатов. Другое преимущество этого средства программирования заключается в возможности адресовать базе данных совершенно произвольные запросы, что бывает необходимо на этапе тестирования программы.

Если описание цели задано в самой программе в разделе Goal цель называется внутренней.

Пролог по-разному обрабатывает внутренние и внешние цели. Если цель внутренняя процесс выполнения программы останавливается после первого ее успешного вычисления, несмотря на наличие альтернативных успешных вариантов. Для получения всего набора допустимых значений, т.е. для повторного достижения этой цели программист должен принять специальные меры. Необходимо организовать повторное выполнение цели: для этого надо объявить успешно вычисленную цель неуспешной, тем самым вызывая откат и предикаты и правила выполняются еще раз (метод отката после неудачи).

Fail – встроенный предикат, который всегда выполняется не успешно, вызывая процесс отката для получения альтернативных решений.

30. ВНЕШНИЕ НАКОПИТЕЛИ – ВИНЧЕСТЕР, ОПТИЧЕСКИЕ ДИСКИ, FLASH-УСТРОЙСТВА. ПЕРСПЕКТИВЫ РАЗВИТИЯ. ПРИНЦИПЫ ЗАПИСИ, ЧТЕНИЯ И ХРАНЕНИЯ ИНФОРМАЦИИ.[29]