如何檢查用戶推測字符串是否與列表中的字符串匹配？

Question

我想檢查用戶輸入的句子中的單詞是否與列表中的至少一個字符串匹配。這是我的。當我輸入例如'香蕉車'（它應該）時，我的謂詞測試返回false。

在swish prolog中，我編寫了enterQuery。當提示我寫'香蕉車'時。我回來[香蕉，車] [香蕉，蘋果]假

enterQuery:- 
read(X), 
processQuery(X). 

processQuery(X):- 
split_string(X," ", " ", L), 
write(L), 
test(L). 

test(L):- 
write([banana, apple]), 
common_member(L,[banana,apple]), 
write('successs'). 

common_member(Xs,Ys) :- 
member(E,Xs), 
member(E,Ys). 

當我查詢：

?- enterQuery. 
|: 'banana car'. 
[banana,car][banana,apple] 
false. 

相反，我想到：

?- enterQuery. 
|: 'banana car'. 
[banana,car][banana,apple]successs 

Answer 1

你做了很多的您展示的代碼中不必要的東西。

這是我怎麼會直接從頂層做到這一點：

?- L = [banana, car], member(E, L), member(E, [banana, apple]). 
L = [banana, car], 
E = banana . 

當前標準的問題是，你的代碼是期待一個string，但你給它一個原子。用您的密碼：

?- enterQuery. 
|: "banana car". 
[banana,car][banana,apple] 
false. 

注意雙引號！

還有一個問題：現在，在第一個列表banana和car是string，並在第二個列表中banana和apple是原子。

或者證明：

?- read(X), string(X). 
|: banana. 

false. 

?- read(X), string(X). 
|: "banana". 

X = "banana". 

所以，你會需要也會讓你比較從[banana, apple]到["banana", "apple"]列表。

這仍然是非常混亂的代碼，不清楚爲什麼你想用read/1閱讀，而不是像在這個答案的頂部的第一個代碼段中輸入它。

編輯：

如果你需要從頂層進入一個句子，沒有什麼可以阻止你在單引號包裹它（一個原子），雙引號（一個字符串），仍然進入它作爲對謂詞的爭論！

下面是一些示例代碼：

string_words(S, Ws) :- 
     separators_string(Seps), 
     split_string(S, Seps, Seps, Ws). 

separators_string(Seps) :- 
     findall(C, 
       (char_type(C, white) 
       ; char_type(C, punct) 
       ), 
       Cs), 
     string_chars(Cs, Seps). 

有了這個裝：

?- string_words("banana car", Ws). 
Ws = ["banana", "car"]. 

?- string_words("Hello, how are you doing?", Ws). 
Ws = ["Hello", "how", "are", "you", "doing"]. 

Answer 2

當面對（大量的）文本解析，在SWI-Prolog的你可以試試內置tokenize_atom/2。儘管名稱，它實際上可以與其他文本表示工作：

?- tokenize_atom('apple banana', L). 
L = [apple, banana]. 

?- tokenize_atom("apple banana", L). 
L = [apple, banana]. 

?- tokenize_atom(`apple banana`, L). 
L = [apple, banana]. 

鮑里斯已經解決的其他細節...