Получить дополнительные решения для запроса

Question

У меня есть

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

но когда я запрашиваю

?- user(X). 

я только получаю

X = anna. 

Если не я получаю другую строку: X = Томь также?

Answer 1

Вам нужно ввести точку с запятой после первого ответа:

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