prolog :如何在列表中找到谓词的所有解决方案

Question

我有一个列表L =a，b，c，d，e，我想知道这个列表中检查谓词P的所有变量。

我不知道怎么做。请给我一些纸片吗？

Answer 1

我可能误解了你的要求，但我想知道你想要的谓词是否是include/3

请参阅：https://www.swi-prolog.org/pldoc/man?predicate=include/3

示例查询：

include(between(3,6), [6,3,2,8,5], Result).

结果：

Result = [6, 3, 5]

Result包含第二个参数(即[6,3,2,8,5])的所有元素，第一个参数(即between(3,6))表示的目标成功。