用于展平树的 Prolog 尾调用优化

Question

我想使用尾递归在序言中展平一棵树。我已经使用带有递归调用的附加列表来完成它。我想优化我的版本。这是我使用递归调用的函数。我想让它优化尾调用。

fl_t(lf(A),[A]).
fl_t(tr(A,B,C),S4):- fl_t(A,X1),fl_t(C,X2),append(X2,[Y],X3),append(X3,X1,S4).

Input : fl_t(lf(a),Result)
Output : Result=[a]

Input : fl_t(tr(lf([1, 2]), 3, leaf([4, 5])),Result)
Output : Result = [[1,2],3,[4,5]]

谁能帮帮我。我是prolog的新手。 TIA

Answer 1

你实际上并没有变平。这样做：

fl_t(T, Xs) :-
   phrase(fl(T), Xs).

fl(lf(A)) --> [A].
fl(tr(A, B, C)) -->
   fl(A),
   [B],
   fl(C).

这是尽可能尾递归的。