在Prolog中，为什么此查询会返回此特定结果

Question

?- assert(p(a)),assert(p(b)),p(X).
X = a 
yes

这个查询的效果是什么，为什么会返回这个特定的结果？

Answer 1

就好像您查询了以下来源：

<强> input.pl：

p(a).
p(b).

？ - p(X)

X = a
yes