Логическое программирование на языке Visual Prolog. Солдатова О.П - 18 стр.

UptoLike

ВУЗ: 

СГАУ | Самара

Составители: 

Рубрика: 

18
хранящуюся информацию. Пролог пытается ответить на запрос, запрашивая
информацию, о которой уже известно, что она истинна.
Одной из важнейших особенностей Пролога является то, что он ищет
не только ответ на поставленный вопрос, но и все возможные
альтернативные решения. Вместо обычной работы программы на
процедурном языке от начала и до конца
, Пролог может возвращаться назад
и просматривать все остальные пути при решении всех частей задачи.
Программист на Прологе описывает объекты и отношения, а также
правила, при которых эти отношения являются истинными.
Объекты рассуждения в Прологе называются термами –
синтаксическими объектами одной из следующих категорий:
• константы,
• переменные,
• функции (составные термы
или структуры), состоящие из имени функции
и списка аргументов-термов, имена функций начинаются со строчной
буквы.
Константа в Прологе служит для обозначения имен собственных и
начинается со строчной буквы.
Переменная в Прологе служит для обозначения объекта на который
нельзя сослаться по имени.
Пролог не имеет оператора присваивания.
Переменные в Прологе инициализируются
при сопоставлении с
константами в фактах и правилах.
До инициализации переменная свободна, после присвоения ей
значения она становится связанной. Переменная остается связанной только
то время, которое необходимо для получения решения по запросу, затем
Пролог освобождает ее и ищет другое решение.
Переменные в Прологе предназначены для установления соответствия
между термами предикатов,
действующих в пределах одной фразы
(предложения), а не местом памяти для хранения данных. Переменная
начинается с прописной буквы или знаков подчеркивания.
В Прологе программист свободен в выборе имен констант,
переменных, функций и предикатов. Исключения составляют
резервированные имена и числовые константы. Переменные от констант
отличаются первой буквой имени: у констант она
строчная, у переменных –
заглавная буква или символ подчеркивания.
Область действия имени представляет собой часть программы, где это
имя имеет один и тот же смысл:
• для переменной областью действия является предложение (факт,
правило или цель), содержащее данную переменную;
• для остальных имен (констант, функций или предикатов) – вся
программа.
Специальным знаком «_» обозначается
анонимная переменная, которая
используется тогда, когда конкретное значение переменной не существенно

Страницы