如何在prolog中生成四重列表？

Question

1 < X < Y and X + Y <= 100. S = X + Y P = X * Y .

目标s1(Q,100)会将Q与四个[X, Y, S, P]列表绑定在一起，其中 S = X + Y和P = X*Y。

我想得到一个答案，比如 Q = [[3,4,7,12],[2,6,8,12], ....]

请协助，新来的prolog。

Answer 1

例如，在GNUProlog（或任何其他between / 3）中：

?- findall([X, Y, S, P], (between(1,100,X),between(1,100,Y),1<X,X<Y,S is X+Y,S=<100,P is X*Y),L).