В Прологе почему этот запрос возвращает этот конкретный результат

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