Как сложить два раза один и тот же список (удвоение списка)? - Prolog

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

Напишите программу для отношения ДВОЙНОЙ_СПИСОК (Список1, Список2), в котором каждый элемент Списка1 удваивается и записывается в Список2, например, ДВОЙНОЙ_СПИСОК ( [1, 2, 3 ], [1 ,1 ,2 ,2 ,3 ,3 ] ). Я решила сложить два раза один и тот же список, а потом сделать сортировку. Но не могу понять, как сложить два раза один и тот же список. Мы же вводим его один раз Всем заранее спасибо!

Решение задачи: «Как сложить два раза один и тот же список (удвоение списка)?»

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

t2([], []).
t2([X|T], [X, X|T1]) :- t2(T ,T1).

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

В данном коде представлена реализация рекурсивной функции t2, которая принимает два списка: X и T. Если список X пустой, то есть не содержит элементов, то функция возвращает пустой список []. В противном случае, функция рекурсивно вызывает саму себя, передавая в качестве аргументов списки X и T1, где T1 - это результат вызова функции t2 для списка T. Таким образом, данный код реализует рекурсивную функцию для удвоения списка. При вызове функции t2 с пустым списком в качестве аргумента, она вернет пустой список. В противном случае, функция будет рекурсивно вызывать саму себя, передавая в качестве аргументов список X и результат вызова функции t2 для списка T. Это приведет к формированию списка, в котором каждый элемент списка X будет повторяться дважды. Пример вызова функции: ?- t2([1,2,3], L). В результате выполнения данного запроса в переменной L будет сформирован список [1,2,3,1,2,3].