Prolog中的矩形挂钩接龙？

Question

因为我是Prolog的新手，所以这里可能会有一个简短的问题。我试图将这个解决三角形挂钩接龙难题的代码转换为解决矩形挂钩接龙难题。我想我面临的问题是试图弄清楚如何让程序知道它完成了难题。这是我目前得到的：

% Legal jumps along a line.
linjmp([x, x, o | T], [o, o, x | T]).
linjmp([o, x, x | T], [x, o, o | T]).
linjmp([H|T1], [H|T2]) :- linjmp(T1,T2).

% Rotate the board
rotate([[A, B, C, D, E, F],
        [G, H, I, J, K, L],
        [M, N, O, P, Q, R],
        [S, T, U, V, W, X]],
        [[S, M, G, A],
        [T, N, H, B],
        [U, O, I, C],
        [V, P, J, D],
        [W, Q, K, E],
        [X, R, L, F]]).

rotateBack([[A, B, C, D],
            [E, F, G, H],
            [I, J, K, L],
            [M, N, O, P],
            [Q, R, S, T],
            [U, V, W, X]],
            [[D, H, L, P, T, X],
            [C, G, K, O, S, W],
            [B, F, J, N, R, V],
            [A, E, I, M, Q, U]]).

% A jump on some line.
horizjmp([A|T],[B|T]) :- linjmp(A,B).
horizjmp([H|T1],[H|T2]) :- horizjmp(T1,T2).

% One legal jump.
jump(B,A) :- horizjmp(B,A).
jump(B,A) :- rotate(B,BR), horizjmp(BR,BRJ), rotateBack(A,BRJ).
%jump(B,A) :- rotate(BR,B), horizjmp(BR,BRJ), rotate(BRJ,A).

% Series of legal boards.
series(From, To, [From, To]) :- jump(From, To).
series(From, To, [From, By | Rest])
       :- jump(From, By),
         series(By, To, [By | Rest]).

% A solution.
solution(L) :- series([[o, x, x, x, x, x],
                       [x, x, x, x, x, x],
                       [x, x, x, x, x, x],
                       [x, x, x, x, x, x]], L).

三角拼图代码要求用户输入结束表的样子，但我不想这样。我希望这能显示任何可能的解决方案。表格总是正好6x4。我喜欢旋转网格来继续简单地计算水平跳跃的想法，所以我改变了旋转功能来旋转它的侧面，并添加了旋转功能来把它放回原位。我想我必须这样做，因为网格不对称。因为它总是这个大小，我认为找到终点的最简单方法是设置一个计数器来计算发生了多少次移动。一旦我们达到22步（除了1个挂钩之外，最大移动可能清除整个网格），那么解决方案就会成功。

换句话说，我认为我需要删除以下代码：

% Series of legal boards.
series(From, To, [From, To]) :- jump(From, To).
series(From, To, [From, By | Rest])
       :- jump(From, By),
         series(By, To, [By | Rest]).

然后改变它，这样它就会设置一个计数器，停在22。有什么建议吗？

Answer 1

我想你可以数一数这些钉子，如果至少有两个钉子的话，那就更好了。

为了有效地执行，应该是（未经测试的代码）

finished(L) :-
   \+ call_nth(find_peg(L), 2).
find_peg(L) :-
   member(R, L),
   memberchk(R, x).

本答案中定义的call_nth/2需要内置nb_setval。这在SWI Prolog或Yap中提供。