如何遍历 Prolog 中的谓词

Question

我是 prolog 的新手，但基本上，我想要一个程序来遍历谓词（不确定我是否正确使用了该术语），然后得出一个可以处理输入并提供其中一个的最终谓词两个答案。 ask 和 maplist 是我尝试像 Java 这样的程序那样迭代程序。 （另外，旁注，但有没有办法让用户输入是和否而不是真。和假。？） 这是我的代码目前的样子：

ask(happy,X).
ask(lonely,X).
ask(education,X).
ask(institution,X).
ask(home,X).
ask(parents,X).
ask(social_life,X).
ask(hobbies,X).
ask(opinion,X).
ask(relationship,X).
ask(finances,X).
ask(future,X).
ask(freedom,X).
ask(feelings,X).

maplist(ask(_), Xs).


Xs= [happy(X),lonely(X),education(X),institution(X), home(X),
parents(X), social_life(X), hobbies(X), opinion(X), relationship(X),
finances(X), future(X), freedom(X),feelings(X)].

happy(X):-
     write("Are you happy?"),nl,
     read(X).

lonely(X):-
     write("Are you lonely?"),nl,
     read(X). 

Answer 1

也许这可以作为灵感

main(AnswersOut) :-
   Ls = [happy,lonely,education],
   ask_next_question(Ls,[],AnswersOut).

ask_next_question([L|Ls],Answers,AnswersOut) :-
   format("Question about: ~w\n",[L]),
   read_line_to_string(user_input,Str),
   format("You said: ~w\n",[Str]),
   ask_next_question(Ls,[L-Str|Answers],AnswersOut).

ask_next_question([],A,A).

然后，您可以将答案收集到一个配对列表中以供进一步处理。 请注意read_line_to_string/2 的使用，它不会像read/2 那样读取term（必须以. 终止），而是以换行符终止的任意字符串。

运行它：

?- main(A).
Question about: happy
|: Well....
You said: Well....
Question about: lonely
|: Yes
You said: Yes
Question about: education
|: Too high
You said: Too high
A = [education-"Too high", lonely-"Yes", happy-"Well...."].