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

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

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

Определение предиката member в PIE имеет вид:
member(H, [H | _]).		member(H, [_ | T]):- member(H, T).
Цель L = [_, _], member(1, L) имеет в PIE следующий набор решений:

(Отметьте один правильный вариант ответа.)
Варианты ответа
L = [1, _]; L = [_, 1](Верный ответ)
L = [1]
L = [1, 1]
Эта цель не имеет решений
Похожие вопросы
Определение предиката member имеет вид:
member(H, [H | _]):- !.member(H, [ _ | T]) :-  member(H, T).
Сколько решений имеет цель member(X, [1, 2, 3, 4])?
Определение предиката member имеет вид:
member(H, [H | _]).member(H, [_ | T]) :- member(H, T).
Сколько решений имеет цель member(X, [2, 3, 4, 5])?
Определение предиката member имеет вид:
member(bt(_, X, _), X).member(bt(L, _, R), X):- member(L, X); member(R, X).
Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X)?
Определение предиката member имеет вид:
member(bt(_, X, _), X):- !.member(bt(L, _, R), X):- member(L, X); member(R, X).
Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 3, leaf)), X) ?
Определение предиката member имеет вид:
member(bt(leaf, X, leaf), X).member(bt(L, _, R), X):- member(L, X); member(R, X).
Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 3, leaf)), X) ?
Определение предикатов tmember и member имеет вид:
tmember(t(X, _), X).tmember(t(_, TL), X):- member(T, TL), tmember(T, X).member(T, [T | _]):- !.member(T, [_ | L]):- member(T, L).
Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?
Определение предикатов tmember и member имеет вид:
tmember(t(X, []), X).tmember(t(_, TL), X):- member(T, TL), tmember(T, X).member(T, [T | _]).member(T, [_ | L]):- member(T, L).
Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?
Определение предикатов tmember и member имеет вид:
tmember(t(X, _), X).tmember(t(_, TL), X):- member(T, TL), tmember(T, X).member(T, [T | _]).member(T, [_ | L]):- member(T, L).
Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?
Определение предикатов difference и member имеет вид:
difference([], _, []).difference([A | L1], L2, L) :- member(A, L2), !, difference(L1, L2, L).difference([A | L1], L2, [A | L]) :- difference(L1, L2, L).member(X, [X | _]):- !.member(X, [_ | L]):- member(X, L).
Какое решение имеет цель difference([4, 3, 2, 1], [1, 3, 5], L) ?
Определение предикатов intersection и member имеет вид:
intersection([], _, []).intersection([A | L1], L2, [A | L]) :- member(A, L2), !, intersection(L1, L2, L).intersection([_ | L1], L2, L) :- intersection(L1, L2, L).member(X, [X | _]):- !.member(X, [_ | L]):- member(X, L).
Какое решение имеет цель intersection([3, 2, 1], [1, 3, 5], L) ?