Предикат, который дублирует все элементы списка - Prolog

Формулировка задачи:

Пожалуйста, помогите написать

предикат, который дублирует все элементы списка.

Решение задачи: «Предикат, который дублирует все элементы списка»

Листинг программы

p([A|B], [A,A|C]) :- p(B,C).
p(_,[]).
 
?- p([1,2,3,4,5], X).
X = [1, 1, 2, 2, 3, 3, 4, 4, 5|...] .
 
?- p(["A","B","C"], X).
X = ["A", "A", "B", "B", "C", "C"] .
 
?- p([[1,2],[3,4]], X).
X = [[1, 2], [1, 2], [3, 4], [3, 4]] .

Объяснение кода листинга программы

В этом коде определен предикат p/2, который принимает два списка в качестве аргументов и проверяет, являются ли элементы первого списка уникальными. Если это так, то он рекурсивно вызывает себя с аргументами, уменьшенными на один элемент, пока не будет достигнут базовый случай, когда первый список пуст. В этом случае он возвращает пустой список. Если элементы первого списка не являются уникальными, то предикат возвращает список, содержащий все дублирующиеся элементы. Примеры использования предиката показывают различные ситуации. В первом примере первый список содержит 5 уникальных элементов, поэтому возвращается список [1, 1, 2, 2, 3, 3, 4, 4, 5|...]. Во втором примере первый список содержит 3 уникальных элемента, поэтому возвращается список [A, A, B, B, C, C]. В третьем примере первый список содержит 2 уникальных элемента, поэтому возвращается список [[1, 2], [1, 2], [3, 4], [3, 4]].