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

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

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

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

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

Цель имеет вид: findall(T, tuple(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?

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

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

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

Определение предиката 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 имеет вид:

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 и 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

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

num(X, X).num(X, Y) :- X > 0, X1 = X - 1, num(X1, Y). 

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

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

num(X, X).num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). 

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

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

num(X, _, _, X).num(X, Z, S, Y) :- X > Z, X1 = X - S, num(X1, Z, S, Y).

Сколько решений имеет цель num(5, 3, 1, X)?

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

num(X, _, X).num(X, C, Y) :- X > 0, X1 = X - C, num(X1, C, Y). 

Сколько решений имеет цель num(3, 2, X)?