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

Д * им Рис. 3.2. Дерево родственных отношений То, что Том является родителем Боба, можно записать на ПРО- ЛОГе так: родитель (том, боб). Все приведенное дерево родственных отношений описывается следующей пролог-программой: родитель (пам, боб). (3.10) родитель (том, боб). (3.11) родитель (том, лиз). (3.12) родитель (боб, эии). (3.13) родитель (боб, пат). (3.14) родитель (пат, джим). (3.15) Отметим, что каждое предложение пролога заканчивается точ­ кой. После ввода такой программы в пролог-систему этой системе можно задавать вопросы, касающиеся отношения родитель. Напри- 118