База ответов ИНТУИТ

Основы программирования на языке Visual Prolog

<<- Назад к вопросам

Определение предиката num имеет вид:
num(X, X).num(X, Y) :- X < 2, X1 = X + 1, num(X1, Y). 
Сколько решений имеет цель num(-1, X)?

(Отметьте один правильный вариант ответа.)

Варианты ответа
5
3
2
4(Верный ответ)
Похожие вопросы
Определение предиката 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, Z, S, Y) :- X < Z, X1 = X + S, num(X1, Z, S, Y). 
Сколько решений имеет цель num(2, 3, 2, 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 - 2, num(X1, Y). 
Сколько решений имеет цель num(5, X)?
Определение предиката num имеет вид:
num(X, X).num(X, Y) :- X > 0, X1 = X - 1, num(X1, Y). 
Сколько решений имеет цель num(4, X)?
Определение предиката color имеет вид:
color(red).color(yellow) :- !.color(green).
Сколько решений имеет цель color(X), color(Y)?
Определение предиката color имеет вид:
color(red):- !.color(yellow).color(green). 
Сколько решений имеет цель color(X), !, color(Y)?
Определение предиката member2 имеет вид:
member2(H, [_, H | _]).member2(H, [_, _ | T]) :- member2(H, T). 
Сколько решений имеет цель member2(X, [1, 2, 3, 4, 5])?
Определение предиката member имеет вид:
member(H, [H | _]):- !.member(H, [ _ | T]) :-  member(H, T). 
Сколько решений имеет цель member(X, [1, 2, 3, 4])?
Определение предиката append имеет вид:
 append([], L, L).append([A | L1], L2, [A | L]) :- append(L1, L2, L).
Сколько решений имеет цель append(L, [_], [1, 2, 3])?