Программа пролога для нахождения равенства двух списков в любом порядке

Я хотел записать программу Пролога для нахождения равенства двух списков, где порядок элементов
не имеет значения. Таким образом, я записал следующее:

del(_, [], []) .
del(X, [X|T], T).  
del(X, [H|T], [H|T1]) :-
   X \= H,
   del(X, T, T1).

member(X, [X|_]).  
member(X, [_|T]) :- 
   member(X, T).

equal([], []).  
equal([X], [X]).  
equal([H1|T], L2) :-
   member(H1, L2),
   del(H1, L2, L3),
   equal(T, L3).  

Но когда я даю вход как equal([1,2,3],X)., это не показывает все возможные значения X. Вместо этого программа зависает в середине. Какова могла быть причина?