Prolog で作成したルールからソリューションのリストを取得したいと考えています。
ただし、findall 述語は 1 つの変数でしか機能しないようです。
この明らかな制限を回避する方法を提案できる人はいますか?
私のルール
beat(P,M,E)
私が欲しいもの
L = [[P,M],[P,M],................]
私が今得るもの
L = [P,P,P,P,.........]
また
L = [M,M,M,M,M.............]
2714 次