在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