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