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