【发布时间】：2011-07-13 19:50:16
【问题描述】：
?- assert(p(a)),assert(p(b)),p(X).
X = a
yes
这个查询的效果是什么？为什么它会返回这个特定的结果？
【问题讨论】：
标签： prolog prolog-toplevel prolog-assert
【发布时间】：2011-07-13 19:50:16
【问题描述】：
就好像你查询了以下来源：
input.pl：
p(a).
p(b).
?- p(X)
X = a
yes
【讨论】：
-
附录：如果你输入，IIRC，“;” （或者是“，”），继续查询，返回答案
X=b。