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

Question

我有

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

但是当我查询

?- user(X).

我只得到

X = anna.

难道我不应该得到另一行 X = tom 吗？

Answer 1

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

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