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

digit(1).digit(0). 

В каком порядке будут найдены решения для цели digit(X), digit(Y)?

X = 0, Y = 0

X = 1, Y = 1

X = 0, Y = 1

X = 1, Y = 0

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

digit(0).digit(1).

В каком порядке будут найдены решения для цели digit(X), digit(Y)?

X = 0, Y = 0

X = 1, Y = 1

X = 0, Y = 1

X = 1, Y = 0

Определение предикатов digit и fruit имеют вид:

digit(0).digit(1).fruit(apple).fruit(pear). 

В каком порядке будут найдены решения для цели digit(X), fruit(Y)?

X = 0, Y = apple

X = 1, Y = pear

X = 0, Y = pear

X = 1, Y = apple

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

digit(0).digit(1).digit(2).tuple(t(X, Y)) :- digit(X), digit(Y). 

Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?

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

digit(0).digit(1):- !.digit(2). 

Сколько решений имеет цель digit(X), digit(Y), !, digit(Z)?

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

digit(0).digit(1).triple(t(X, Y, Z)) :- digit(X), digit(Y), digit(Z). 

Цель имеет вид: findall(T, triple(T), L). Сколько элементов содержит список L?

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

digit(0).digit(1).digit(2).tuple(t(X, Y)) :- digit(X), Y = -X. 

Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?

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

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

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

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

go(2):- fail.go(N):- N > 1, write('a'), N1 = N - 1, go(N1).go(_).

Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?

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

middle(nth(I, L), I, L):- I = length(L) div 2. 

Напишите значение, которое примет переменная X в результате вызова цели middle(X, _, ["bob", "ann", "tom", "bill"]):

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

go(N):- N > 1, !, write('a'), N1 = N - 1, go(N1).go(_).

Сколько раз будет напечатан символ 'a' в результате вызова цели go(5)?