
родитель( X, энн), родитель( X, пат)
означает конъюнкцию этих целевых утверждений:
X - родитель Энн и
X - родитель Пат.
Пролог-система рассматривает вопросы как цели, к достижению которых нужно стремиться.
Ответ на вопрос может оказаться или положительным или отрицательным в зависимости от того, может ли быть соответствующая цель достигнута или нет. В случае положительного ответа мы говорим, что соответствующая цель достижима и успешна. В противном случае цель недостижима, имеет неуспех или терпит неудачу.
Если на вопрос существует несколько ответов, пролог-система найдет столько из них, сколько пожелает пользователь.
Упражнения
1. 1. Считая, что отношение родительопределено так же, как и раньше в данном разделе(см. рис. 1.1), найдите, какими будут ответыпролог-системы на следующие вопросы:
(a) ? - родитель ( джим, X).
(b) ? - родитель( X, джим).
(c) ? - родитель( пам,Х), родитель( Х, пат).
(d) ? - родитель( пам, X), родитель( Х, Y),
родитель( Y, джим).
Посмотреть ответ
1. 2. Сформулируйте на Прологеследующие вопросы об отношении родитель:
(a) Ктородитель Пат?
(b) Естьли у Лиз ребенок?
(c) Ктоявляется родителем родителя Пат?
Посмотреть ответ
Назад | Содержание| Вперёд
