Ответ в теме: Содержатся ли в последовательности все символы указанного слова

      Комментарии к записи Ответ в теме: Содержатся ли в последовательности все символы указанного слова отключены
#1942

contain(_Sequence, []):-!.
contain([Head|TailSequence], [Head|TailWord]):-
  !, contain(TailSequence, TailWord).
contain([_HeadSequence|TailSequence], Word):-
  contain(TailSequence, Word).

На вход подается два списка – последовательность и слово. Если слово не содержит символов, то очевидно, что условие задачи выполняется.
В противном случае функция проверяет совпадает ли первый символ слова с первым символом последовательности. Если сопоставление прошло успешно – первый символ слова можно убрать. Проверка остальных символов слова выполняется рекурсивно в остатке последовательности.
Если же проверка завершается неудачей, то мы не можем пропустить первый символ слова, но должны отбросить первый символ последовательности.