Алфавит языка Турбо-Пролог включает следующие символы:
В Прологе имена используются для обозначения символических констант, доменов, предикатов и переменных. В общем случае имя должно начинаться с буквы или знака подчеркивания, за которым идет любая комбинация букв, цифр или знаков подчеркивания. При этом правила именования различных типов объектов в Пролог-программе имеют свои особенности:
В качестве имени переменной в предикатах может использоваться знак подчеркивания, такая переменная называется анонимной, применяется это в случаях, когда значение переменной безразлично для Пролог-программы.
К ключевым (служебным ) словам в языке Турбо-Пролог относятся следующие слова:
and | domains | goal | include |
clauses | elsedef | if | or |
constants | enddef | ifdef | predicates |
database | global | ifndef |
Программа на Турбо-Прологе имеет следующую структуру:
/*-----------------------------------------------------------* /
/* Комментарии */
/*-----------------------------------------------------------* /
constants
/*определение констант */
domains
/* определение типов данных программы*/
database
/*определение предикатов динамической базы данных*/
predicates
/*определение предикатов*/
clauses
/*определение правил и фактов*/
goal
/*Определение целей*/
/*----------------------------------------------*/
/* Комментарии */
/*----------------------------------------------*/
309
В разделе constants объявляются используемые в программе константы.
В разделе domains объявляются нестандартные типы данных для переменных, используемых в качестве аргументов предикатов.