 |
 |
 |
 |
|
 |
 |
136
Здесь <заголовок> отделяется от <определения> двумя знаками:
«меньше» и «тире». В
конце правила записывается «точка с запятой».
Заголовки правил имеют следующую форму:
заголовок:
<имя>(<парам>[,<парам> ...])
Здесь <имя> - это любое слово или словосочетание. В роли параметров в заголовках правил
могут указываться переменные или конкретные значения либо неопределенные значения с помо-
щью знака подчеркивания
_
.
Описание заголовка служит образцом записи обращений к правилам и процедурам. Опре-
деления в правилах образуются из обращений к другим правилам и процедурам, а также из запро-
сов к данным и встроенным процедурам Пролога. Общая форма записи определений в правилах:
определение:
<заголовок>[,<заголовок> ...]
Запросы и определения отделяются в описаниях правил запятыми и записываются по тем
же правилам, что и заголовки.
Порядок записи обращений и запросов в определениях правил в языке Пролог весьма су-
щественен, поскольку он задает порядок их применения и выполнения. Нарушение этого порядка
может привести к значительному изменению конечных результатов выполнения правил и проце-
дур.
Результатом выполнения любых процедур и правил в Прологе всегда являются логические
значения - ДА либо НЕТ, соответствующее успеху или неуспеху их применения. В этом смысле
применение правил в Прологе совпадает с проверкой условий в логике. Соответственно форма за-
писи обращений к правилам и процедурам в Прологе совпадает с формой записи предикатов в ма-
тематической логике.
Однако в отличие от математической логики, где существенны только логические значения
этих предикатов, в Прологе результатом применения правил и процедур может быть конкретиза-
ция значений переменных, указанных в обращениях к ним.
Пример такого обращения:
? родитель (х,вова)
х = зина
Полученный ответ имеет двойной результат: во-первых, подтверждение истинности нали-
чия «родителей» у «вовы», а во-вторых, конкретизация переменной «х» в обращении к процедуре
«родитель» с именем «вова», которая дает значение «х = зина».
Кроме конкретизации значений переменных в запросах и обращениях результатами выпол-
нения процедур и правил в Прологе могут быть различного рода побочные эффекты - вывод на эк-
ран линий, точек, картинок, сообщений, запись и считывание данных и т. п.
В этом смысле результаты выполнения процедур и программ на Прологе могут быть экви-
валентны результатам выполнения программ на других языках программирования.
6.5. Встроенные предикаты Пролога
Для операций над числами в рассматриваемой версии Пролога имеются следующие ариф-
метические предикаты:
Предикат:
Смысл:
СУММА (x,y,z)
х + у = z
ПРОИЗВ (x,y,z)
х*у = z
ЧАСТНОЕ (x,y,z)
[х/у] = z
ОСТАТОК (x,y,z)
х - [х/у] = z
РАВНО (х,у)
х = у
БОЛЬШЕ (х,у)
х > у
МЕНЬШЕ (х,у)
х < у