In Prolog why does this query return this particular result

Question

?- assert(p(a)),assert(p(b)),p(X).
X = a 
yes

Whats the effect of this query and why does it return this particular result?

score 2 · Answer 1 · answered Jul 13 '11 at 19:52

2

It is as if you queried the following source:

input.pl:

p(a).
p(b).

?- p(X)

X = a
yes

answered Jul 13 '11 at 19:52

Heath Hunnicutt

1

Addendum: if you type, IIRC, ";" (or is it ","), you will continue the query and the answer ```X=b``` will be returned. – Heath Hunnicutt Jul 13 '11 at 20:10

1 Answers1