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

color(red).color(yellow) :- !.color(green).

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

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

color(red):- !.color(yellow).color(green). 

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

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

color(red):- !.color(yellow).color(green). 

Цель findall(X, color(X), L) имеет решение:

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

color(red).color(yellow).color(yellow) :- !.color(green). 

Цель findall(X, color(X), L) имеет решение:

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

color(red).color(yellow).color(green):- !.

Цель findall(X, color(X), L) имеет решение:

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

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

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

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

num(X, X).num(X, Y) :- X < 2, X1 = X + 1, num(X1, Y). 

Сколько решений имеет цель num(-1, 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, Y) :- X > 0, X1 = X - 2, num(X1, Y). 

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

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

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

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

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

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

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