Программирование на языке Турбо-Пролог 2.0. Николаев В.Г - 5 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

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

Рубрика: 

- 5 -
1. ПРОГРАММИРОВАНИЕ НА ПРОЛОГЕ
1.1. Основные понятия
Пролог - язык программирования, используемый для решения за-
дач, сводимых к объектам и отношениям между ними. Программирова-
ние на языке Пролог состоит из следующих этапов:
1. Объявление некоторых фактов об объектах и отношениях меж-
ду ними.
2. Определение правил, описывающих объекты и отношения.
+------------------------------------------------------+
¦ Программа на Прологе состоит из множества ¦
¦ утверждений, каждое из которых является фактом о ¦
¦ заданной информации, либо правилом, указывающим, ¦
¦ как решение связано с заданными фактами и каким ¦
¦ образом его можно вывести из них. ¦
¦ Совокупность фактов и правил в Прологе ¦
¦ называется базой данных. ¦
+------------------------------------------------------+
3. Формулировки вопросов об объектах и отношениях между ни-
ми, т.е. формирование запроса к созданной ранее базе дан-
ных.
По сути, Пролог-система позволяет использовать ЭВМ как хранилище
фактов и правил, и предоставляет механизм, позволяющий делать вы-
воды, переходя от одних фактов к другим.
Именем отношения между объектами является ПРЕДИКАТ.
Например: name_predicates(О1,О2, .. ,ОN).
Это имя, которое записывается перед круглыми скобками. Вся
запись типа name(O1,O2,..,O3) называется предикатной структурой
или предикатным термом. Предикат является функтором некоторой
структуры.
Представление Пролог-программ в виде предикатных структур и
предикатных термов обладает многими достоинствами, главное из ко-
торых - это единообразие записи функций и процедур.
ТЕРМ - единообразная структура для описания данных и преди-
катов на языке Пролог.

Страницы