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

我有

但当我询问

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

我只有

?- user(X).

---

难道我不应该看到另一行写着X=tom吗？

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

X = anna.

---

分号或

空格

，在许多键盘布局上更方便。

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