Prolog kenken 求解器 4 x 4

Question

所以我试图使用 prolog 解决 kenken，但我从一开始就遇到了几个问题，首先让我们说我像 kenken([X1,X2,X3,.....X16]) 一样运行它。我想用我之前定义的规则来解决这个 x。所以假设第一个单元格有 3 个值 X1、X2 和 X3，我想通过使用乘法得到 2，这意味着 X1*X2*X3=2，现在我如何设置规则来查看所有可能的解决方案，如果我有类似的东西。
还有我如何告诉我的 x 只使用 1-4 的值范围。
我试着做类似的事情

:- use_module(library(clpr)).
solve([X1,X2,X3]):-
    {X1*X2*X3=2}.

但它给了我一个非常奇怪的输出。

Answer 1

由于您推理的是整数，而不是浮点数，请考虑使用 library(clpfd)而不是 CLP(R)。在 SICStus、SWI 和 YAP 中，您可以约束有限域变量 X到整数范围 1-4 与:
X in 1..4
您可以使用内置谓词 label/1寻找具体的解决方案。 SWI-Prolog 示例:

?- Vars = [A,B,C], A*B*C #= 2, Vars ins 1..4, label(Vars).

产生:

Vars = [1, 1, 2], A = B, B = 1, C = 2 ;
Vars = [1, 2, 1], A = C, C = 1, B = 2 ;
Vars = [2, 1, 1], A = 2, B = C, C = 1.