Prolog 递归未按预期工作

Question

我必须编写一个函数，从给定列表中过滤掉回文（回文是反向相同的单词，如 abba）

palindroom([], []).
palindroom([X|Xs], Y):-
   (  atom_chars(X, Z),
      reverse(Z, K),
      atom_chars(D,K),
      atom_chars(P,Z),
      D==P,
      palindroom(Xs,[P|Y])
   ; 
      palindroom(Xs,Y)
   ).

我将列表 elem 转换为 char 数组，然后将其反转并重新转换为字符串，然后比较两者，如果是，我将其添加为 Y。

这是我的堆栈跟踪，一切正常，直到：

[trace] 44 ?- palindroom(["abba"],  X).
Call: (7) palindroom(["abba"], _G5269) ? creep
Call: (8) atom_chars("abba", _G5351) ? creep
Exit: (8) atom_chars("abba", [a, b, b, a]) ? creep
Call: (8) lists:reverse([a, b, b, a], _G5363) ? creep
Exit: (8) lists:reverse([a, b, b, a], [a, b, b, a]) ? creep
Call: (8) atom_chars(_G5386, [a, b, b, a]) ? creep
Exit: (8) atom_chars(abba, [a, b, b, a]) ? creep
Call: (8) atom_chars(_G5386, [a, b, b, a]) ? creep
Exit: (8) atom_chars(abba, [a, b, b, a]) ? creep
Call: (8) abba==abba ? creep
Exit: (8) abba==abba ? creep
Call: (8) palindroom([], [abba|_G5269]) ? creep
Fail: (8) palindroom([], [abba|_G5269]) ? creep
Redo: (7) palindroom(["abba"], _G5269) ? creep what is happening here? and why?
Call: (8) palindroom([], _G5269) ? creep
Exit: (8) palindroom([], []) ? creep
Exit: (7) palindroom(["abba"], []) ? creep
X = [].

我有另一个程序有同样的问题，有人可以帮我吗？是递归的基错还是smt？

编辑！！ 得到它的工作

palindrome(Xs) :-
  reverse(Xs, Xs).

cycle([],[]).
cycle([X|Xs], Y):-
  atom_chars(X,Z),
  palindrome(Z),
  Y = [X|K],
  cycle(Xs,K);
  cycle(Xs,Y).

毕竟我误解了 Prolog 中的递归。谢谢@repeat 和@lurker

Answer 1

使用广泛使用的列表谓词reverse/2 像这样定义palindrome/1 怎么样？

palindrome(Xs) :-
   reverse(Xs, Xs).

示例查询：

:- palindrome([a,b,b,a]).
true.

:- palindrome([a,b,X,Y]).
X = b, Y = a.

最后，我们不要忘记最一般的查询！

?- palindrome(Xs).
  Xs = []
; Xs = [_A]
; Xs = [_A,_A]
; Xs = [_A,_B,_A]
; Xs = [_A,_B,_B,_A]
; Xs = [_A,_B,_C,_B,_A]
...