Эрбранов базис логической программы

animal(X) :- bird(X).animal(zebra).bird(swan). 

выглядит следующим образом:

Декларативное значение логической программы

animal(X) :- bird(X).animal(zebra).bird(swan). 

Имеет вид:

В результате вызова в PIE цели functor(F, animal, 1), functor(B, bird, 1), arg(1, F, B), arg(1, B, swan) переменная F примет значение

Эрбранов универсум логической программы

likes(bob, X) :- likes(ann, X).likes(ann, books). 

выглядит следующим образом:

Определение предикатов likes и male выглядит следующим образом:

male(peter).male(bob).likes(peter, bycicle). 

Напишите решение для цели male(Y), not(likes(Y, _)):

Определение предикатов married и female выглядит следующим образом:

married(tom, mary).female(mary).female(ann).		

Напишите решение для цели female(X), not(married(_, X)):

Определение отношения father (отец) имеет вид:

		father(peter, tom).		father(tom, bob). 

Отношение grandfather (дедушка) можно определить следующим образом:

Определение отношения parent имеет вид

		parent(ann, tom).		parent(bob, ann). 

Обратное отношение к отношению parent можно определить следующим образом:

Отношение married определяется в виде:

married(tom, mary).married(bob, ann). 

Симметричное замыкание отношения married можно определить следующим образом:

Отношение likes определяется следующим образом:

likes(bob, X) :- likes(ann, X).likes(ann, books).likes(tom, ann). 

Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(_, X)?

Отношение likes определяется следующим образом:

likes(ann, books).likes(tom, ann).likes(bob, X) :- likes(ann, X). 

Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(X, _)?