Списки в Прологе

Список в Прологе это

• специальный вид терма, представляющего последовательность элементов - произвольных термов.

• специальный вид терма, представляющего последовательность произвольных термов за исключением списков.

• рекурсивная структура, состоящая из головы и "хвоста".

• линейная структура, состоящая из 1 и более произвольных элементов

Хвост списка представляет собой

• последний элемент

• список из всех элементов за исключением первого

• все элементы списка кроме первого

Выберите предикат, реализующий конкатенацию двух списков

• Z=append(X,Y,Z).

• append([], Z, Z).

  append([_|X], Y, [_|Z]) :- append(X,Y,Z).

• append([], Z, Z).

  append([X|_], Y, [X|Z]) :- append(_,Y,Z).

• append([], Z, Z).

  append([P|L], T, [P|Z]) :- append(L,T,Z).

Сколько значений принимает Х при запросе ?- permute([a,b,c], X).

• 3

• 4

• 5

• 6

Для чего служит предикат, определенный следующим образом?

f([A,B]). f([_,_|T]):-f(T).

• Проверка на четность числа элементов списка

• Проверка на непустой список с четным числом элементов списка

• Проверка на нечетность числа элементов списка

• Проверка на равенство 2 длины списка

Какой стандартный предикат должен быть вместо предиката p, если запрос выводит на печать длину списка T: ?-findall(K,p(K,L),T),length(T,Z),write(Z).

• append

• member

• length

• нет правильного варианта

Длина списка Т при запросе

?-findall (K,append([a,b],K,[a,b,c,a,b]),T).

• 0

• 1

• 2

• некорректный запрос

• 3

При наличии реализации стандартных предикатов, что будет выведено на экран при запросе

?-write(length([])).

• length([])

• 0

• 1

• нет правильного варианта

Реализован предикат p:

p(E, [E|_]).

p(A, [_|H]) :- p(A, H).

Выберите правильный вариант первого значения, которое принимает Х при запросе ?-p(a,X).

• a

• [a]

• 1

• нет правильного варианта

Предикат p реализован следующим способом:

p([], 0) .

p([_|Y], N) :- p(Y, N1), N is N1 + 1.

L- произвольный список. Какой будет результат запроса и зависит ли от L результат запроса:

?-p(L,X),permute(L,X1), p(X1,X2), X=X2.

• Результат запроса yes, от L не зависит

• Результат запроса no, от L не зависит

• Результат запроса зависит от L

• Запрос будет выдавать ошибку