 |
 |
 |
 |
|
 |
 |
66
? мама(z, у), мама(у, Оля)
—
Кто мама у мамы Оли?
z = Зина
у = Надя
Вывод ответов на сложносоставные вопросы состоит в выделении подвопросов и поиске на них
ответов по частям:
В данном примере общим элементом в выделяемых подвопросах ? мама(z,у) и ? мама(у,Oля)
является переменная «у». Ответом на первый подвопрос ? мама(z,у) будут значения z = Зина и у =
Надя. Ответы на второй подвопрос ? мама(у,0ля) в соответствии с принципом взаимосогласования
будет проводиться для значения у = Надя.
Принцип вывода взаимосогласованных ответов в системе Пролог распространяется и на
сложносоставные правила, включаемые в базы знаний и процедуры логического вывода. Приведем
примеры сложных определений:
бабушка(z, х) <- мама(z, у), мама(у, х);
бабушка(z, х) <- мама(z, у), папа(у, х);
дедушка(z, х) <- nana(z, у), мама(у, х);
дедушка(z, х) <- nana(z, у), папа(у, х).