【发布时间】：2015-07-25 23:13:15
【问题描述】：
我有
assert(user(anna)).
assert(user(tom)).
但是当我查询时
?- user(X).
我只得到
X = anna.
我不应该得到另一行说 X = tom 吗？
【问题讨论】：
【发布时间】：2015-07-25 23:13:15
【问题描述】：
您需要在第一个答案后输入分号：
?- user(X).
X = anna ;
X = tom.
【讨论】：
-
分号或
SPACE，在许多键盘布局上更方便。