ПРОЛОГ

формализмы

Тип данных - терм Пример представления даты в виде терма:

дата(‘четверг’,24,‘ноябрь’,2005)

функтор компоненты

Функтор - имя отношения, компоненты - объекты отношения. Размерность структуры равна числу компонентов, входящих в нее.

Компоненты структуры заключаются в скобки и разделяются запятой.

Виды компонент:

•атомные константы

•числовые константы

•переменные

1) Атом может содержать любой алфавитно-цифровой знак и должен заключаться в апострофы.

Примеры атомов: 'моя мать' 'Иван, да, Марья' '_ первый' 'Георгий‘ . 2) Числовые константы или просто числа.

Примеры: 205, -10, 3.75. 3)Переменные. Примеры: A, B, R.