从节点字符串的多路树构造

Question

有一个很棒的问题集叫做Ninety-Nine Prolog Problems。问题P70是标题中提到的问题。这是一个很好的Prolog solution这个问题只需要5行。但是，我对Prolog的理解是有限的。

此解决方案如何以类似C的形式显示（没有可用的itertools）？

按要求编辑。我希望我不会侵犯版权。

问题：

BNF中的语法：

tree ::= letter forest '^'
forest ::= | tree forest

使用差异列表的一个很好的解决方案：

tree(TS,T) :- atom(TS), !, atom_chars(TS,TL), tree_d(TL-[ ],T). % (+,?)
tree(TS,T) :- nonvar(T), tree_d(TL-[ ],T), atom_chars(TS,TL).   % (?,+)
tree_d([X|F1]-T, t(X,F)) :- forest_d(F1-['^'|T],F).
forest_d(F-F,[ ]).
forest_d(F1-F3,[T|F]) :- tree_d(F1-F2,T), forest_d(F2-F3,F).

Answer 1

问题定义

_{（取自P-99: Ninety-Nine Prolog Problems）}

我们假设多路树的节点包含单个字符。在其节点的深度优先顺序中，只要在树遍历期间移动是前一级别的回溯，就会插入特殊字符^。

按照此规则，图中的树表示为：afg^^c^bd^e^^^

定义字符串的语法并编写谓词tree(String,Tree)以在给出Tree时构造String。使用原子（而不是字符串）。使您的谓词在两个方向上都有效。

---

解决方案第1部分：String2Tree

堆叠很容易。这是伪代码：

FUNCTION String2Tree(String str) : Tree
   LET st BE New-Stack<Node>
   LET root BE New-Node
   st.push(root)

   FOREACH el IN str
      IF el IS '^'
         st.pop()
      ELSE
         LET child BE New-Node(el)
         LET top BE st.top()
         top.adopt(child)
         st.push(child)

   RETURN New-Tree(root)

使用虚拟root节点可以简化问题。本质上算法如下：

• 从左到右扫描字符串
• 每当遇到节点标签时，我们都会创建一个新节点
  • 该节点由堆栈顶部采用
  • 然后该节点被推送到堆栈并成为新的顶部
• 当我们遇到'^'时，我们只是弹出堆栈顶部

---

解决方案第2部分：Tree2String

相反的方向是简单的递归问题：

FUNCTION string(Tree t) : String
   LET sb BE New-StringBuffer

   visit(t.root, sb)

   RETURN New-String(sb)

PROCEDURE visit(Node n, StringBuffer sb)
   sb.append(n.label)

   FOREACH child IN n.children()
      visit(child, sb)

   sb.append('^')

正如问题所述，每当我们回溯到上一级时，我们都会插入^。