a ↔ b
↙ ↑<br /> c → d
path(X, X, Y).
path(X, Y, s(Z)) :- edge(X, A), path(A, Y, Z).
path(X, Y, Z) :- eps(X, A), path(A, Y, Z).
edge(a, b).
edge(b, a).
edge(c, d).
edge(d, b).
eps(b, c).
并且path(X,Y,k)是true如果图中存在从X到到的路径，Y其中最多k使用非ℇ-边沿该路径。如何为查询绘制 SLD 树?-path(a,a,s(s(0)).？
