Question

我想创建一个在列表进入另一个列表时成功的参数。

例如？-proceed_list（[1,2]，[2]）。是或True（无论编译器如何）。

任何人都可以帮助我吗？

Answer 1

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

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