如何检查用户估算的字符串是否与列表中的字符串匹配？

Question

我想检查用户输入的句子中的单词是否与列表中的至少一个字符串匹配。这就是我所拥有的。当我输入例如“香蕉车”（它不应该）时，我的谓词测试返回 false。

在嗖嗖的序言中，我编写了 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 阅读，而不是像在此答案顶部的第一个代码 sn-p 中那样输入它。

编辑：

如果你需要从顶层输入一个句子，没有什么能阻止你用单引号（对于一个原子）、双引号（对于一个字符串）将它包裹起来，并且仍然将它作为 a 的参数输入谓词！

下面是一些示例代码：

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].

鲍里斯已经谈到了其他人的细节......