河内塔序言

您好，我在实施河内塔时遇到问题。 我需要打印包含必要动作的列表列表，但我的算法仅在光盘数量为 N=1 时才起作用。 这是我的代码

move(1,X,Y,_,L) :-  
    append([X],[Y],L).
move(N,X,Y,Z) :- 
    N>1, 
    M is N-1, 
    move(M,X,Z,Y),
    move(1,X,Y,_), 
    move(M,Z,Y,X).

这是当N=1时的结果。

?- move(1,left,right,_,L).

L = [left,right]

(16 ms) yes

我需要这样的东西

    L = [[left,center],[left,right],[center,right],[left,center],[right,left],
      [right,center],[left,center],[left,right],[center,right],[center,left],
[right,left],[center,right],[left,center],[left,right],[center,right]]

When N=4

如果有人可以帮助我，我将不胜感激。

描述时lists在 Prolog 中，始终考虑使用dcg /questions/tagged/dcg符号！

例如，考虑：

moves(1, X, Y, _) --> [X-Y].
moves(N, X, Y, Z) -->
    { N #> 1,
      M #= N-1 },
    moves(M, X, Z, Y),
    moves(1, X, Y, _),
    moves(M, Z, Y, X).
  

请注意，这...

• uses fewer论点
• avoids指某东西的用途append/3.

我也冒昧地使用了...

• 名字moves//4明确我们正在描述moves, not a single move.
• CLP(FD)声明性算术的约束（更容易理解）
• (-)/2用于表示pairs，正如 Prolog 中的惯例。

示例查询，使用phrase/2DCG 的接口谓词：

?- phrase(moves(4,left,right,center), Ls).
Ls = [left-center, left-right, center-right, left-center, right-left, ... ].