prolog - 在 Prolog 中查找具有多个变量的all

Question

我想从我在 Prolog 中制定的规则中获取解决方案列表。

然而，findall 谓词似乎只适用于一个变量。

有人可以建议如何绕过这个明显的限制吗？

我的规则

beat(P,M,E)

我想要什么

L = [[P,M],[P,M],................]

我现在得到了什么

L = [P,P,P,P,.........]

或

L = [M,M,M,M,M.............]

Answer 1

findall 可以处理数量惊人的灵活变体。我想你想要这样的东西:

findall([P,M], beat(P,M,E), L).