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