操作标签/2 输出 PROLOG

Question

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

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

我的目标是计算立方体之间可能的组合数量（即时疯狂）：

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
| ?-