Как проверить, получает ли список другой список в Прологе

Question

Я хотел бы создать аргумент, который успешно выполняется, когда список переходит к другому списку.

Например?-Proceed_list([1,2],[2]). Да или Истина (независимо от компилятора).

Может кто-нибудь мне помочь?

Answer 1

Ваш вопрос сложно разобрать. Как прокомментировал Аква, вы должны перефразировать его. Для чего это стоит, я понимаю твой пример, что ты хочешь проверить, есть ли второй список [2] это хвост первого [1,2] (т. е. "продолжить" в смысле "продолжить"). Если это то, что вы хотите, то это должно работать:

proceed_list(L1, L2) :-
    once(append(_, L2, L1)).