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

родитель. Можно было бы определить дети тем же способом, что и родитель, т.е. представив описок: дети (лиз, том). дети (боб, нам). и так далее. Однако это отношение можно определить проще, использовав тот факт, что оно обратно отношению родитель, которое уже определено. Такой способ основан на следуюш;ем логии- ческом утверждении; Для всех X и Y Y дети X, если X является родителем Y. С00тветству10ш,ее прологовское предложение с тем же смыслом имеет вид: Приведенное прологовское предложение (3.20) называется правилом. Предложение родитель (том, лиз). , считаюш,ееся фактом, безусловно, истинно, Правила описывают ут­ верждения, которые могут быть истинными, если выполнены условия. К рассмотренной в § 12 программе добавим еще предложение (3.20). Спросим полученную программу, является ли Лиз отпрыском Тома: ? - дети (лиз, том). Предложение (3.20) на языке логики имеет вид; родитель(Х,У) => дети(У,Х). Преобразуем последнее выражение в дизъюнкт: дети (У,Х); - родитель (X,Y). (3.20) 1 poдитeль(X,Y)vдeти(Y,X), (3.21) 122