Изменения
→Идентификаторы и фамилии всех Иванов
===Идентификаторы и фамилии всех Иванов===
Рассмотрим такой запрос на языке исчисления доменов
Id, LastName <font color=blue>where</font> Students<font color=red>{</font>Id = Id, FirstName = FirstName, LastName = LastName<font color=redgreen>}'Иван'</font> $\wedge$ FirstName , LastName = LastName<font color=greenred>'Иван'}</font>
Его можно переписать на Datalog так:
Ivans(Id, LastName) :-
Students(Id, FirstName, LastName), FirstName = <font color=green>'Иван'</font>, LastName).
===Имена родителей===
Пусть есть таблица <code>Person(Id, Name, MotherId, FatherId)</code>
