Функциональное и логическое программирование: решить две задачи.

Необходимо решить две задачи по предмету: Функциональное и логическое программирование.

• Задача 1, вариант 3; (страница 17).

1. Напишите предикат p(+L, -S) - истинный тогда и только тогда, когда L - список списков, а S - список, объединяющий все эти списки в один.

2. Напишите предикат p(+L, -S) - истинный тогда и только тогда, когда спи-сок S есть циклическая перестановка элементов списка L, например,

p([f, g, h, j], [g, h, j, f]) -истина.

• Задача 2, вариант 1. (страница 20).

1. Напишите предикат, аналогичный предикату subst (см. первое контрольное задание, вариант 8, задача 2), но производящий взаимную замену X на Y, т.е. X->Y, Y->X.

2. Напишите предикат, который определяет, является ли данное натуральное число простым. Воспользуйтесь более общей задачей: ispr(N, M) - "Число N не делится ни на одно число большее или равное M и меньшее N".

Имеем ispr(N, M) -истинно, во-первых, если N = M, и, во-вторых, если истинно ispr(N,M+1) и N не делится на M.