0

我正在开发一个带有限制的 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输出，以便以适当的方式重新排列它？

4

1 回答 1

2

对于您的问题 #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
| ?-
于 2014-12-11T06:17:57.907 回答