SLD分辨率 - 派生树

Question

我有以下查询，事实和谓词。基于这些，我想提取派生步骤。

 ?- a(Result). 
 a(1).
 a(X) :- b(X,Y), c(Y).
 b(1, a).   c(b).
 b(2, b).   c(c).

我知道我必须从上到下，从左到右。所以第一个事实是X = 1。 但是，我该怎么办呢？有人可以给我一个指导如何继续提取派生步骤吗？