Prolog爲什麼這個查詢返回這個特定的結果，它的作用是什麼

Question

?- assert(p(a)),assert(p(b)),setof(X,p(X),R). 
X = H142 
R = [a, b] 
yes 

這個查詢的效果是什麼，它爲什麼返回這個特定的結果？

Answer 1

yes結果的原因是R，即僅由a和b構成的集合實際上是滿足p（x）謂詞的所有X的集合。

如果要向R中添加元素或從中刪除a或b，結果將爲no。

p（a）和p（b）爲真，因爲斷言謂詞將這些子句添加到數據庫中。

同樣，保持R = [a, b]如果你增加一個條款，與說assert(p(c))，其結果必然是no  （因爲R.將缺少C到有所有 X滿足P（X））。