prolog - 在 Prolog 为什么这个查询返回这个特定的结果

Question

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

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

Answer 1

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

输入.pl：

p(a).
p(b).

?- p(X)

X = a
yes