2

我有

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

但是当我查询

?- user(X).

我只得到

X = anna.

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

4

1 回答 1

2

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

?- user(X).
X = anna ;
X = tom.
于 2015-07-25T23:16:05.380 回答