我想从Prolog中制定的规则中获取解决方案列表.
但是,findall谓词似乎只适用于一个变量.
任何人都可以建议如何解决这个明显的限制？
我的规则
beat(P,M,E)
我想要的是
L = [[P,M],[P,M],................]
我现在得到什么
L = [P,P,P,P,.........]
要么
L = [M,M,M,M,M.............]