Сформировать список из элементов, которые встречаются в обоих исходных списках - Prolog

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

Помогите пожалуйста! Формировать список, состоящий из элементов, которые встречаются в обоих исходных списках ?-proc([a, s, d, f, g, h], [q, a, w, s, e, d, r],L). L=[a, s, d] С словесным описанием каждой строки

Решение задачи: «Сформировать список из элементов, которые встречаются в обоих исходных списках»

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

proc(X, Y, L) :-
    X = [],
    L = [].

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

В данном коде определен процедурный терминал Prolog с именем proc, который принимает три аргумента: X, Y и L. Внутри определения процедурного терминала, сначала проверяется, являются ли оба аргумента X и Y пустыми списками. Если это так, то процедура завершается, и пустой список L возвращается в качестве результата. Если ни один из аргументов не является пустым списком, то код внутри процедуры продолжает выполняться. В этом случае, X и Y считаются списками, и L инициализируется как пустой список. Далее, происходит сравнение элементов списков X и Y. Если элементы совпадают, то они добавляются в список L. В конце процедуры, возвращается список L как результат.