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

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

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

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

likes(mary, books).likes(bob, mary).likes(bob, books). 

Напишите решение, которое имеет цель likes(X, mary):

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

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

Основным примером правила likes(bob, X) :- likes(ann, X) является правило

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

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

Вариантом правила likes(bob, X) :- likes(ann, X) является правило

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

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

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

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

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

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

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

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

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

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

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

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

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

likes(ann, books).likes(tom, baseball).male(tom).male(bob).		

Укажите порядок нахождения решений для цели

male(Y); likes(X, Y)		1) Y = bob		2) Y = tom		3) X = tom,Y = baseball		4) X = ann,Y = books 

Предикат 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) имеет следующее количество решений: