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

Question

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

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

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

Answer 1

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

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