Microsoft Word Книга иис мггу 1 Print doc

факт — это одиночная цель, которая, безусловно, истинна; 
- 
правило — состоит из одной головной цели и одной или более 
хвостовых целей, которые истинны при некоторых условиях. 
Правило обычно имеет несколько хвостовых целей в форме 
конъюнкции целей. 
Конъюнкцию можно рассматривать как логическую функцию И. Таким 
образом, правило согласовано, если согласованы все его хвостовые цели. 
Примеры фактов: 
собака(рекс). родитель(голди.рекс). 
Примеры правил: 
собака (X) :- родитель (X.Y),собака (Y). человек(Х) :-
мужчина(Х). 
Разница между правилами и фактами чисто семантическая. Хотя для 
правил мы используем синтаксис операторов (более подробное рассмотрение 
операторного и процедурного синтаксисов выходит за рамки нашего курса), 
нет никакого синтаксического различия между правилом и фактом. 
Так, правило 
собака (X) :- родитель(Х,У),собака(У).
может быть задано как 
:-собака (X) ',' родитель(Х.У) .собака (Y). 
Запись верна, поскольку 
:-
является оператором 
"при условии, что"
, 
а 
','
— это оператор конъюнкции. Однако удобнее записывать это как 
собака (X) :-родитель (X.Y),собака (Y). 
и читать следующим образом: " 
Х
— собака при условии, что родителем 
Х
является 
Y
и 
Y
— собака". 
14.3 Запросы 
После записи утверждений в базу данных вычисления могут быть 
инициированы вводом запроса. 
Запрос выглядит так же, как и целевое утверждение, образуется и 
обрабатывается по тем же правилам, но он не входит в базу данных 
(программу). В Прологе вычислительная часть программы и данные имеют 
одинаковый синтаксис. Программа обладает как декларативной, так и 
процедурной семантикой. Мы отложим обсуждение этого вопроса до 
последующих лекций. Запрос обозначается в Прологе утверждением 
?-
, 
имеющим арность 1. Обычно запрос записывается в операторной форме: за 

---

124 
знаком 
?-
следует ряд хвостовых целевых утверждений (чаще всего в виде 
конъюнкции). 
Приведем примеры запросов: 
?-собака(X). ?- родитель(Х.У),собака (Y). 
или, иначе, 
'?-'(собака(Х)) С?-') ','(родитель(Х„У",собака (Y)). 
Последняя запись неудобна тем, что разделитель аргументов в 
структуре совпадает с символом конъюнкции. Программисту нужно помнить 
о различных значениях символа ','. 
Запрос иногда называют управляющей командой (директивой), так как 
он требует от Пролог-системы выполнения некоторых действий. Во многих 
реализациях 
Пролога 
для 
управляющей 
команды 
используется 
альтернативный символ, а символ 
?-
обозначает приглашение верхнего 
уровня интерпретатора Пролога. Альтернативным символом является 
:-
. 
Таким образом, 
:-write(co6aкa). 
- это управляющая команда, в результате выполнения которой печатается 
атом собака. Управляющие команды будут рассмотрены ниже при описании 
ввода программ.