在Prolog中的SLD树中“返回”

Question

我已经创建了一个简单的Prolog程序，我正在尝试弄清楚什么是派生/ SLD树。

a(X) :- b(X), c(X).
b(Y) :- d(Y), e(Y).
c(1).
d(1).
e(1).

以下是我的尝试失败。

这种表示形式对我来说并没有太大意义，因为我不知道如何表示通过子句e（1）成功匹配的目标e（1）和目标子句c（x）之间的过渡。该程序，现在需要将其与头部匹配。

边缘标签应该是产生目标之间推导权的子句吗？

[稍后编辑]添加了新的SLD-“树”变体，对我来说更有意义...