Глава 4. Программы турбо пролога

Синтаксис Турбо Пролога разработан так, чтобы максимально ясно отоб-

ражать знания о свойствах и взаимосвязях. В основном, вы уже видели, как

это делается: в главе 3 изучили предложения (факты и правила), предикаты,

переменные и цели.

В отличии от других версий Пролога, Турбо Пролог - компилятор, конт-

ролирующий типы: для каждого предиката вы объявляете типы, которые он мо-

жет использовать. Это объявление типов позволяет программам работать зна-

чительно быстрее, чем это было бы возможно в случае контроля центральным

процессором типов всех объектов в процессе обработки этих объектов.

В первой части данной главы мы обсудим четыре основные секции прог-

рамм на Турбо Прологе - те, где вы объявляете и описываете предикаты и

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

этой главы мы более подробно рассмотрим синтаксис правил и деклараций. И,

наконец, в заключении мы кратко опишем другие разделы программ Турбо Про-

лога (баз данных, констант, различные глобальные разделы) и директивы

компилятора.