Разность списков (?) Prolog 2.0

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

Задача: Переписать из 1 списка во 2 список те элементы, которых нет в 3 списке. Написала так:

                    Листинг программы
                
 
                        
                          
                    
DOMAINS
L=integer*
X=integer
 
PREDICATES
diz(L,L,L)
member(X,L)
 
CLAUSES
diz([],_,[]).
diz([H|T1],L,[H|T2]):- member(H,L), diz(T1,L,T2).
diz([_|T],L1,L2):- diz(T,L1,L2).
 
member(H,[H|_]).

Почему-то ругается на анонимную переменную в первом клозе.

Решение задачи: «Разность списков (?) Prolog 2.0»

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

DOMAINS
L=integer*
X=integer
 
PREDICATES
pred(L,L,L)
member(X,L)
 
CLAUSES
pred([],[],_).
pred([H|T1],[H|T2],L):- not(member(H,L)),!,
            pred(T1,T2,L).
pred([_|T],L1,L2):- !, pred(T,L1,L2).
 
member(H,[H|_]).
member(H,[_|T]):- member(H,T).

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

domains - определения доменов:
- L - список целых чисел
- X - целое число
predicates - определения предикатов:
- pred - предикат, принимающий три аргумента: список, элемент, результат
clauses - определения правил (условий) для предиката pred:
- Первое правило: если список пустой, то результат будет пустым списком ([])
- Второе правило: если первый элемент списка H не содержится в списке L, то рекурсивно вызывается pred для оставшегося списка T1 и нового списка T2 без H
- Третье правило: если первый элемент списка H отсутствует, то рекурсивно вызывается pred для оставшегося списка T
member - предикат, определяющий, является ли элемент X частью списка L:
- Первое правило: если X равен первому элементу списка H, то он является членом списка
- Второе правило: если X не является первым элементом списка H, то рекурсивно вызывается member для оставшегося списка T В итоге, данный код реализует рекурсивную функцию для нахождения разности двух списков, исключая повторяющиеся элементы.