如何在 Prolog 中检查一个列表是否继续另一个列表

Question

我想创建一个当一个列表继续另一个列表时成功的参数。

例如 ?-proceed_list([1,2],[2])。是或 True（无论编译器是什么）。

谁能帮我？

Answer 1

你的问题很难解析。正如阿克娅评论的那样，你应该重新措辞。对于它的价值，我理解你的例子，你想检查第二个列表是否[2]是第一个列表的尾部[1,2]（即“继续”意义上的“继续”）。如果这就是您想要的，那么这应该有效：

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