отпрыск( лиз, том).
Однако это отношение можно определитьзначительно элегантнее, использовав тот факт,что оно обратно отношению родитель,которое уже определено. Такой альтернативныйспособ основывается на следующем логическомутверждении:
Для всех X и Y
Yявляется отпрыском X, если
Xявляется родителем Y.
Эта формулировка уже близка к формализму,принятому в Прологе. Вот соответствующеепрологовское предложение, имеющее тот же смысл:
отпрыск( Y, X) :- родитель(X, Y).
Это предложение можно прочитать еще и так:
Для всех X и Y,
если X - родитель Y, то
Y -отпрыск X.
Такие предложения Пролога, как
отпрыск( Y, X) :-родитель( X, Y).
называются правилами. Естьсущественное различие между фактами и правилами.Факт, подобный факту
родитель( том, лиз).
это нечто такое, что всегда, безусловно истинно.Напротив, правила описывают утверждения, которыемогут быть истинными, только если выполненонекоторое условие. Поэтому можно сказать, чтоправила имеют
условную часть (правая половина правила) и
часть вывода (левая половина правила).
Вывод называют также головойпредложения, а условную часть - его телом.Например:
отпрыск( Y, X) :-родитель( X, Y).
голова тело
Если условие родитель( X, Y) выполняется(оно истинно), то логическим следствием из негоявляется утверждение отпрыск( Y, X).