Пролог не показывает полный список ответа

Question

При запуске запроса human(Who). на рисунке .pl файла

human(ann). 
human(george). 
human(mike). 

я только вернусь Who = ann .

Вместо

Who = ann ; 
Who = george ; 
Who = mike. 

Am используя пролога 6.6. 6. Как мне показать полный список?

Answer 1

Ответ, который вы получили, следующий. Вы заметили пространство перед точкой?

Who = ann . 
     ^SPACE!!! 

Это пространство означает: запрос был прерван. Возможно, вы набрали возврат. Или, может быть, у вас есть несколько плохо сконфигурированный терминал.

Чтобы лучше проверить это, попробуйте:

?- X = 1 ; X = 2 ; X = 3. 

Там вы должны получить все три ответа, тоже. Если нет, это определенно ваш терминал

Answer 2

Что вы видите, это поведение пролога по умолчанию.

Запрос

?- findall(Object,Goal,List). 

Должно работать для вас.

Например.

findall(X, human(X), L). 

Он заполнит список всеми возможными ответами.