Worksheets2023 ЛП ПМИ
Total questions: 12
Worksheet time: 16mins
Выберите правильный вариант результата унификации: [X,Y|_]=[a,b,c,d]
X=a, Y=[b,c,d]
X=a, Y=b
X=[a,b] Y=[c,d]
X=[a,b,c,d], Y=[]
Какие термы будут унифицироваться. Выберите все варианты.
X и Y+1
f(A,B) и Х
f(X,Y) и f(Z)
f([A,B]) и f(X)
Список в Прологе это:
специальный вид терма, представляющего последовательность элементов - произвольных термов.
рекурсивная структура, состоящая из головы и "хвоста".
специальный вид терма, представляющего последовательность произвольных термов за исключением списков.
линейная структура, состоящая из 1 и более произвольных элементов
Стандартный предикат member используется для:
Проверки принадлежности элемента списку
Конкатенации списков
Перебора элементов списка
Генерации всевозможных перестановок списка
Для чего служит предикат p, определенный следующим образом:
p(X,A):-append(_,[X,_],A),
Нахождение предпоследнего элемента списка
Конкатенация списков
Нахождение среднего элемента списка
Нахождение следующего за Х элемента
Для чего служит предикат, определенный следующим образом?
f([A,B]). f([_,_|T]):-f(T).
Проверка на четность числа элементов списка
Проверка на нечетность числа элементов списка
Проверка на непустой список с четным числом элементов списка
Проверка на равенство 2 длины списка
Выберите вторую строку предиката генерации натуральных чисел. Первая строка: p(1).
p(X) :- p(Y), X is Y+1.
p(X,Y) :- p(Y), X is Y+1.
p(X) :- X is Y+1, p(Y).
p(Y):-Y is Y+1.
Дан предикат p:
p([], Z, Z).
p([X|T], Y, [X|Z]) :- p(T,Y,Z).
Впишите какое значение примет Х при запросе: ?-p([_,_,_],X,[a,b,c,d]).
(a)
Сколько вариантов решений у запроса ?-append(X,Y,[1,2,3,4]).
2
3
4
5
1
Какие решения выдаст предикат: p(X) :- remove(X,[1,2,3,4],_), X>3, !.
4
1,2,3,4
1,2,3
3,4
Предикат нахождения макс из двух чисел описан так:
max(A,B,B).
max(A,B,A):-A>B,!.
Что с этим предикатом не так?
Отсутствует отсечение в 1 правиле
Отсутствует отсечение в обоих правилах
Поменять порядок правил
Все хорошо
Убрать отсечение
Реализовать предикат:
проверить на четность количество элементов списка без использования стандартных предикатов.
