prolog - 如何使用 tranpose 和 findall 打印谓词中的所有变量

Question

我想知道如何使用 tranpose 和 findall 列出预测中的所有变量并将其显示为矩阵？

所以这是包含所有变量的谓词。

across(2,4,2,4).
across(2,10,2,4).   
across(3,4,4,12).
across(3,10,2,6).
across(4,3,2,6).
across(4,6,4,10).

Answer 1

可能更容易将其存储在谓词中。

getAcross(List) :- findall([A,B,C,D], across(A,B,C,D), List).

所以getAcross(X)将存储[[A,B,C,D],[A,B,C,D]...等列表

例如，如果您正在谈论转置矩阵，则可能仅在您也有向下约束时才需要这样做。:)