Раздел clauses

Способы объявления доменов (типов данных) в Турбо-Прологе.

Раздел domains

4 способа объявления типов данных (доменов);

name =d , где name – имена объектов стандартного типа, d – один из типов

list = element*, где list – список элементов element, element – элемент, лписанный в разделе domains или один из стандартных типов, * - список.

num1=f1 (d11,…,d1M);f2)d21,…,d2N)Тип num1 включает сложные объекты, которые объявляются путем установления пунктора и описаний всех входящих в него компонент.

file = name1; name2; Используется для обращения к файлам по символическим именам. Может быть только один оператор этого типа. Символические имена файлов, если их несколько, задаются в качестве альтернативы.

Объявление предикатов в программах Турбо-Пролога.

Раздел predicates

Предикат (отношение) – в общем случае эта структура выглядит так:

predname (comp1, …, compN), где predname – имя предиката, comp1, …, compN – имя компонент.

domains

fio=string

den, god = integer

mes = symbol

predicates

anketa (fio, den, mes, god)

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

anketa (string, integer, symbol, integer)

Предикат м состоять только из имени. Допускается многократное объявление предиката с одним и тем же именем. Альтернатива необязательно должна иметь одинаковое число компонентов.

6. Утверждения программы Турбо-Пролога: факты и правила.

Раздел clauses

Здесь размещаются предложения (утверждения). Они представляют собой факт или правило, соответствующее одному из объявленных предикатов.

Факт – простейший вид утверждения, который устанавливает отношения между объектами.

anketa (“Иванов”, 8, august, 1958).

Факт содержит содержит атом anketa, который является именем предиката и в () после него список соответствующих термов, соответствующих компонентам этого предиката.Факт содержит атом anketa, который является именем предиката и в () после него список соответствующих термов, соответствующих компонентам этого предиката. Факт всегда заканчивается точкой. Факт содержит условие, которое является верным.

Правило состоит из заголовка и тела, соединенных символом :- (если). Правила заканчиваются точкой. Заголовок является одним из ранее описанных предикатов, в которых в качестве компонентов может быть переменные. Заголовок правила описывает факт, для определения которого предназначено это правило. Тело правила описывает цель, которая должна быть последовательно согласована с фактом для того, чтобы заголовок правила был истинным. Тело содержит список термов, разделенных запятыми или ; ( :- if) (. and) (; or).

Переменная означает один и тот же объект только в пределах одного правила.