Последовательность целей, такая как

        родитель( X, энн), родитель( X, пат)

означает конъюнкцию этих целевых утверждений:

        X  -  родитель Энн   и

        X  -  родитель Пат.

Пролог-система рассматривает вопросы как цели, к достижению которых нужно стремиться.

Ответ на вопрос может оказаться или положительным или отрицательным в зависимости от того, может ли быть соответствующая цель достигнута или нет. В случае положительного ответа мы говорим, что соответствующая цель достижима и успешна. В противном случае цель   недостижима,   имеет неуспех   или   терпит неудачу.

Если на вопрос существует несколько ответов, пролог-система найдет столько из них, сколько пожелает пользователь.

Упражнения

1. 1.    Считая, что отношение родительопределено так же, как и раньше в данном разделе(см. рис. 1.1), найдите, какими будут ответыпролог-системы на следующие вопросы:

        (a)        ?  -  родитель ( джим, X).

        (b)        ?  -  родитель( X, джим).

        (c)        ?  -  родитель( пам,Х), родитель( Х, пат).

        (d)        ?  -  родитель( пам, X), родитель( Х, Y),

                      родитель( Y, джим).

Посмотреть ответ

1. 2.    Сформулируйте на Прологеследующие вопросы об отношении родитель:

        (a)        Ктородитель Пат?

        (b)        Естьли у Лиз ребенок?

        (c)        Ктоявляется родителем родителя Пат?

Посмотреть ответ

Назад | Содержание| Вперёд



22 из 538