prolog - Prolog：用户输入和多个输出

Question

student(foo).
student(bar).

知识库

ask(Q) :- ask(Q,A).
ask(Q,A) :- .....

ask(Q,A) 采用由 getentence(S) 生成的链表形式提出问题。

run(A) :-
  write('enter question/statement: '),
  getsentence(S), nl,
  ask(S,A). 

/*
1 ?- ask([who,is,a,student],A).
A = foo ;
A = bar ;
false.

2 ?- run(A).
enter question/statement:who is a student.


A = foo .

*/

仅显示一个结果而不是多个结果作为输出。我觉得我错过了一些非常简单的东西，但我不知道它是什么。

Answer 1

添加

findall(A, ask(S,A), AllAnswers).

代替

ask(S,A).

这样，当 ask(S,A) 成功时，AllAnswers 将匹配 A 的所有可能值的列表。