序言中的findall,参数目标是:+成员之间,如何?

findall in prolog, param goal is: between + member, how to?

我必须编写一个序言程序,我必须找到满足这些条件的所有组合:

...代码...函数(...,列表), findall(子句,目标,C) 其中 goal = (between(1,N,X), member(X, List))

我不知道该怎么做。

如果有人知道的话,它也可以和 bagof 一起使用。

我发现了我的错误,我不得不将两个目标都放在括号中:

findall(子句, (goal, goal2), C)