Question

节点示例如下：

node(3, nil, 14).
node(14, nil, 15).
node(15, nil, 92).

我在这里看到过类似的问题，但是我的节点不同，因为我的节点在参数中有三个而不是两个值

应如何运行的示例：

?- inOrder(3, X).
X = [3, 14, 15, 35, 65, 89, 92] .

我目前的代码是：

 % the in-order traversal of a leaf is the leaf
 inOrder(X, [X]) :-
    node(X, nil, nil).

 % if the node only has a left child, we traverse that
 inOrder(x, [X|T]) :-
    node(X, L, [X|T]),
    inOrder(L, T).
 % if the node only has a right child we traverse that
 inOrder(x, [X|T]) :-
    node(X, nil, R),
    inOrder(R, T).
 % if the node has both, we traverse them both.
inOrder(x, [X|T]) :-
    node(L, X, R),
    L \= nil, R \= nil,
    inOrder(L, T1),
    inOrder(R, T2),
    append(T1, T, T2).

它返回false而不是实际值，感谢先进的任何帮助！

Answer 1

你的代表有几个曲折。一般来说，树状结构不会在数据库中展平，这里使用node/3，而是保持在单个术语中。

此外，坚持每个节点都有自己的事实似乎是一个好主意。在你的例子中，92需要一个事实！

因此，考虑到所有这些预防措施，可以使用DCG编写：

node(3, nil, 14).
node(14, nil, 15).
node(15, nil, 92).
node(92, nil, nil).    % added!

inorder(I, Xs) :-
   phrase(inorder(I), Xs).

inorder(nil) -->
   [].
inorder(I) -->
   {dif(I, nil)},
   {node(I, L, R)},
   inorder(L),
   [I],
   inorder(R).

| ?- inorder(3,L).
L = [3,14,15,92] ? ;
no

检查数据库中的孤立节点：

orphan(Nr) :-
   node(_, L, R),
   ( Nr = L ; Nr = R ),
   dif(Nr, nil),
   \+ node(Nr, _, _).

因此orphan(N)应该在您的数据库上失败。

Answer 2

您在x的递归案例中使用小写inOrder;那应该是一个变量。但这可能不是唯一的问题。

Prolog按顺序遍历

2 个答案: