Font size
WorksheetsСписки в Прологе
Total questions: 10
Worksheet time: 10mins
Список в Прологе это
специальный вид терма, представляющего последовательность элементов - произвольных термов.
специальный вид терма, представляющего последовательность произвольных термов за исключением списков.
рекурсивная структура, состоящая из головы и "хвоста".
линейная структура, состоящая из 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
Запрос будет выдавать ошибку
