Ответ в теме: Косвенная рекурсия не работает

      Комментарии к записи Ответ в теме: Косвенная рекурсия не работает отключены
#2458

Более упрощённо: необходимо создать предикат по поиску значений из списка в другом списке.

Более детально я посмотрю Вашу тему завтра, но если “упрощенно” – то посмотрите тут: поиск значений из списка в другом списке. При такой формулировке задача решается двумя вызовами nth0 и никакая косвенная рекурсия не нужна.