Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

Предложение (3.20) на языке логики имеет вид: родитель(ХД) ^ дeти(Y,X). Преобразуем последнее выражение в дизъюнкт: -lpoдитeль(X,Y)vдeти(Y,X). (3.21) Вопрос к системе преобразуется в дизъюнкт: —1дети (лиз, том). (3.22) Из (3.21) и (3.22) получим: —1родитель (том, лиз). Далее, используя предложение (дизъюнкт) (3.12), получим пустой дизъ­ юнкт, следовательно, система ответит YES (да). Вновь рассмотрим программу из параграфа 12. Добавим к этой программе, кроме отношений родитель и дети, еще одно отношение - предок. Определим его через отношение родитель. Все отношение можно выразить с помош,ью двух правил. Первое правило будет определять непосредственных (ближайших) предков, а второе - отдаленных. Будем считать, что некоторый X является отда­ ленным предком некоторого Z, если между X и Z суш,ествует цепочка людей, связанных между собой отношением родитель - родитель. Первое правило простое и его можно сформулировать так: Для всех X и Z: X - предок Z, если X - родитель Z. Это переводится на ПРОЛОГ в виде предложения предок(Х,г): - родитель(Х,г). Для определения отдаленных родственников можно задать их следуюш,им множеством предложений предок(Х,г):- родитель(Х,г). предок(Х,г): - poдитeль(X,Y), poдитeль(Y,Z). предок(Х,г):- poдитeль(X,Y 1), poдитeль(Yl,Y2), poдитeль(Y2,Z). предок(Х,г):- poдитeль(X,Y 1), poдитeль(Yl,Y2), poдитeль(Y2,YЗ),