Определить, является ли первый список подмножеством второго - Prolog

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

Определить, является ли первый список подмножеством второго. Списки не имеют дубликатов. Аргументы: первый список; второй список. ?- pred([a,b,c],[s,a,e,c,d,b]). yes ?-

Решение задачи: «Определить, является ли первый список подмножеством второго»

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

domains
ch=char
chl=ch*
 
predicates
is_in(ch,chl)
is_subset(chl,chl)
 
clauses
is_in(_,[]):-fail.
is_in(X,[X|_]):- !.
is_in(X,[Y|T]):- X<>Y, is_in(X,T).
 
is_subset([],_):- !.
is_subset([X|T],Y) :- is_in(X,Y), is_subset(T,Y).

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

domains - определяет типы данных для переменных
predicates - определяет функции, которые будут использоваться в программе
clauses - определяет правила, которые определяют поведение программы
is_in(ch,chl) - функция, которая проверяет, есть ли символ в списке символов
is_subset(chl,chl) - функция, которая проверяет, является ли один список подмножеством другого
is_in(_,[]):-fail.- если пустой список не содержит символ, то возвращается ошибка
is_in(X,[X|_]):- !.- если символ есть в начале списка, то возвращается успех
is_in(X,[Y|T]):- X<>Y, is_in(X,T).- если символ не равен символу в начале списка, то рекурсивно вызывается функция для оставшейся части списка
is_subset([],_):- !.- если пустой список не содержит символов, то возвращается успех
is_subset([X|T],Y) :- is_in(X,Y), is_subset(T,Y).- если символ из первого списка есть во втором списке, то рекурсивно вызывается функция для оставшейся части первого списка