Выдержка из книги
Кузнецов В.Е.
Представление в эвм неформальных процедур
Поясним в чем состоит логический вывод для запроса А - ДЕД ВТ в предположении, что в базе данных имеются факты: А - ОТЕЦ Б и Б - МАТЬ В. При этом для упрощения опустим тонкости, связанные с падежными окончаниями. Пользуясь определением 1 система придет к необходимости проверки существования такого индивидуума z, что факты А - ОТЕЦ z и z - РОДИТЕЛЬ В истинны. Если такой z существует, то А - ДЕД В, если не существует такого z, то А не является дедом В.
