Question

我正在开发一个限制的PROLOG程序，以找到特定游戏的解决方案。

问题＃1：出于调试目的，我想计算游戏可能解决方案的数量。有没有办法通过labeling/2谓词来做到这一点？

我的目标是计算多维数据集之间可能的组合数量（ Instant Insanity ）：

insanity2(Vars) :-
        Vars = [F1,B1,R1,L1,U1,D1,
                F2,B2,R2,L2,U2,D2,
                F3,B3,R3,L3,U3,D3,
                F4,B4,R4,L4,U4,D4],

        /* Colors range (4 colors) */
        domain(Vars, 1,4),

        /* Restrictions */
        %Color restrictions
          % Cube #1
        alocCubeColors(F1,B1,R1,L1,U1,D1),
          % Cube #2
        alocCubeColors(F2,B2,R2,L2,U2,D2),
          % Cube #3
        alocCubeColors(F3,B3,R3,L3,U3,D3),
          % Cube #4
        alocCubeColors(F4,B4,R4,L4,U4,D4),

        %Logic restrictions
        F1#\=F2, F1#\=F3, F1#\=F4, F2#\=F3, F2#\=F4, F3#\=F4,
        B1#\=B2, B1#\=B3, B1#\=B4, B2#\=B3, B2#\=B4, B3#\=B4,
        R1#\=R2, R1#\=R3, R1#\=R4, R2#\=R3, R2#\=R4, R3#\=R4,
        L1#\=L2, L1#\=L3, L1#\=L4, L2#\=L3, L2#\=L4, L3#\=L4,
        labeling([], Vars).

问题2：是否可以操纵labeling/2输出，以便以正确的方式重新排除它？

Answer 1

对于您的问题＃1，您可以使用findall/3谓词：

例如：

| ?- X=[X1,X2], domain(X,0,2), findall(X, labeling([],X), Xl ), length(Xl,L).            
X = [X1,X2],
Xl = [[0,0],[0,1],[0,2],[1,0],[1,1],[1,2],[2,0],[2,1],[2,2]],
L = 9,
X1 in 0..2,
X2 in 0..2 ? 
yes
| ?-

操纵标签/ 2输出PROLOG

1 个答案: