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

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). 

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

Определение функции f имеет вид:

f(1, R) = R:- !.f(X, C) = f(X - 3, C * C - 1). 

Какое значение примет переменная Y в результате вызова цели Y = f(7, 2)?

Определение функции f имеет вид:

f(0, R) = R:- !.f(X, C) = f(X - 1, C * C - 2). 

Какое значение примет переменная Y в результате вызова цели Y = f(2, 2)?

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

f(0, 2):- !.f(X, R):- X1 = X - 1, f(X1, R1), R = R1 * 3. 

Какое значение примет переменная Y в результате вызова цели f(2, Y)?

Определение функции f имеет вид:

f(0, R) = R:- !.f(X, C) = f(X - 2, C * C). 

Какое значение примет переменная Y в результате вызова цели Y = f(4, 2)?

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

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = C * 2, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 3, Y)?

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

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = 3 * C, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 1, Y)?

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

f(0, 3):- !.f(X, R):- X1 = X - 1, f(X1, R1), R = R1 + 2. 

Какое значение примет переменная Y в результате вызова цели f(2, Y)?