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

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

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

Определение предиката p имеет вид:

p([father(robert, jackson)]).p([mother(ann, smith), father(thomas, smith)]).

Напишите ответ на запрос p([father(_, X) | _]):

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

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

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

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

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

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

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

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

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

Предикат likes определяется следующим образом:

likes(mary, books).likes(peter, mary).likes(mary, peter).

Цель likes(X, Y), !, likes(Y, Z) имеет следующее количество решений:

Программа имеет вид:

parent(bob, X):- parent(ann, X).parent(ann, peter).parent(peter, mary). 

Сколько решений имеет цель parent(X, peter)?

Предикат parent определяется следующим образом:

parent(peter, mary).parent(mary, ann).parent(mary, bob).

Цель !, parent(X, Y), parent(Y, Z) имеет следующее количество решений:

Предикат parent определяется следующим образом:

parent(peter, mary).parent(mary, ann).parent(mary, bob). 

Цель parent(X, Y), !, parent(Y, Z) имеет следующее количество решений:

Программа имеет вид:

parent(bob, peter).parent(ann, peter).parent(peter, mary). 

Напишите значение, которое примет переменная X при вызове parent(X, mary)?

Программа имеет вид:

parent(bob, peter).parent(ann, bob).parent(peter, mary). 

Напишите значение, примет переменная X при вызове parent(ann, X)?