swi-prolog中的字符串比較程序總是失敗

Question

我正在嘗試使用swi-prolog編寫一個程序，它隨機詢問人們的名字或姓氏，並根據他們輸入的內容打印「正確」或「不正確」。當前的正確答案是「你好」和「世界」，但不管用戶輸入什麼內容，輸出都是錯誤的，並且不會打印正確/不正確的答案。

start:-(Q=['What is your first name?','What is your last name?'], 
    random_member(N,[0,1]), 
    nth0(N,Q,X), 
    writeln(X)), 
    readln(S), 
    check_answer(N,S). 


check_answer(N,S):-A=['Hello','World'], 
    nth0(N,A,X), 
    writeln(X), 
    (S=@=X)->writeln('correct'), 
    not(S=@=X)->writeln('incorrect'). 

我後來它編輯成：

start:-(Q=['What is your first name?','What is your last name?'], 
random_member(N,[0,1]), 
nth0(N,Q,X), 
writeln(X)), 
read(S), 
check_answer(N,S). 


check_answer(N,S):-A=['Hello','World'], 
     nth0(N,A,X), 
     writeln(X), 
     writeln(S), 
     ((S=@=X))->writeln('correct') ; writeln('incorrect'). 

Answer 1

我能發現代碼中的兩個問題。

一個）readln/1（無證）返回的項目的列表（然後偷看第一項或使用讀/ 1​​）：

?- readln(X). 
|: Hello. 
X = ['Hello', '.']. 

?- readln(X). 
|: Hello 
X = ['Hello']. 

?- readln(X). 
|: Hello . 
X = ['Hello', '.']. 

b）在對如果然後其他操作者（ - >）將永遠失敗，因爲你在兩者上都省略了else分支，條件是獨佔的。嘗試

... 
((S=@=X)->writeln('correct') ; writeln('incorrect')). 

編輯有2個問題。我錯誤地建議閱讀/ 1。如果我們編寫變量，即UppercaseStartingSymbol，則讀取Prolog術語，然後讀取變量。我的錯。 readln似乎沒問題，但改變模式選擇第一項。

另一個問題，與你無關：你在 - >'語句'中錯誤放置了括號。

下面的代碼：

start:-(Q=['What is your first name?','What is your last name?'], 
random_member(N,[0,1]), 
nth0(N,Q,X), 
writeln(X)), 
readln(S), 
check_answer(N,S). 

check_answer(N,[S|_]):-A=['Hello','World'], 
     nth0(N,A,X), 
     writeln(X), 
     writeln(S), 
     ((S=@=X)->writeln('correct') ; writeln('incorrect')).