获取查询的进一步解决方案

Question

我有

assert(user(anna)).
assert(user(tom)).

但是当我查询

时

?- user(X).

我只得到

X = anna.

我不应该再说一行X = tom吗？

Answer 1

您需要在第一个答案后键入分号：

?- user(X).
X = anna ;
X = tom.