задача по спискам в Prolog(контрольная на носу,а я не знаю,как справиться с заданием.подскажите,пожалуйста)

Если решать в лоб, без всяких оптимизаций, то потребуются примерно такие предикаты:

1. Главный. Назовём его replace. Ходит по исходному списку, в котором нужно что-то менять и вызывает предикат is_prefix для всего текущего хвоста списка L1, чтобы проверить, является ли L2 начальным подсписком текущего хвоста L1. Если является, то на обратном ходе рекурсии L4 формируете как конкатенацию L3 + текущий хвост L1 без префикса L2, иначе говорите, что L4 просто равен текущему хвосту L1.

2. Предикат is_prefix вызывается из replace и получает на вход три аргумента L1 (в качестве этого аргумента replace будет передавать текущий ховст списка L1), список L2 и возвращать через третий аргумент L1, из которого удалён L2 в случае, если L2 является начальлным подсписком L1, иначе возвращает L1 без изменений.

3. Предикат concat будет использоваться внутри replace в случае, если is_prefix возвращает истину - для того, чтобы подставить подсписок L3 в список L1 на место удалённого L2. Этот предикат зависит от трёх аргументов L1,L2,L3 и L3 равен конкатенации список L1 и L2.

Вроде как трёх предикатов должно быть достаточно. Насчёт того, можно ли решить задачу двумя предикатами - наверное, как-то можно, но не уверен, что это будет простое и понятное решение.