Математическая логика и теория алгоритмов

1) "Кто родитель Боба?"; ? - родитель (Х,боб). Система ответит; X = пам; Х=том 2) "Кто чей родитель?": ? - родитель {X,Y). Система распечатает возможные значения X и Y. 3) "Кто внуки Тома? " Так как в системе не введено понятие внуков, то строим сложный вопрос: ?-родитель (том, X), родитель (X, Y), Запятая мелоду предложениями воспринимается как конъюнк­ ция. Составной вопрос интерпретируется: найти X,Y, удовлетворяю­ щие двум требованиям: родитель(том,Х) и родитель (X,Y). Конъюнкция коммутативна, поэтому можно вопрос сформулировать и иначе ?-родитель(Х,У), родитель (том,Х). Ответ не зависит от порядка в силу того, что система получит для вопроса дизъюнкт; "1 poAHTenb(X,Y)v"l родитель (том,Х), который равносилен дизъюнкту: 1 poдитeль(тoм,X )VL родитель(Х,У). На вопрос 3) система ответят X = боб Y = эни; X = боб Y = пат Пользователь ПРОЛОГа может совершенно не знать метод резолюций. Система сама находит ответы. § 13. Введение и использование правил в ПРОЛОГе В качестве расширения рассмотренной в §12 программы на ПРОЛОГе введем отношение дети, которое обратно отношению 121