私は持っている
assert(user(anna)).
assert(user(tom)).
しかし、クエリを実行すると
?- user(X).
私は得るだけ
X = anna.
X = tom という別の行も出すべきではありませんか?
私は持っている
assert(user(anna)).
assert(user(tom)).
しかし、クエリを実行すると
?- user(X).
私は得るだけ
X = anna.
X = tom という別の行も出すべきではありませんか?