SWI-Prolog 解析输入而不查询

Question

我这里有一些简单的代码：

main:-
    read_string(user_input,"\n","\r\t",_,S),
    split_string(S," ", "", Ls),
    ask(Ls).

ask([First, Second|O]) :-
    First = who,
    Second = sells,
    write(O).

问题是当你输入这个时：

?- main.
|:who sells fries
false.

?- ask([who, sells, fries]).
[fries]
true.

我希望第一个选项像第二个选项一样工作，但我不明白为什么它不起作用。 通过 main 查询的“谁卖薯条”不应该和我自己查询“问”一样吗？

我是否遗漏了函数式编程的一些基本问题（我承认我真的很挣扎）？

Answer 1

Prolog 能够处理字符串，一次一个字符。 但是人们更喜欢将字符串视为单词。 所以 Prolog 有不同的表达字符串的方式，这取决于标志double_quotes 。

我建议您阅读 Prolog 中的基本数据类型。

第一个查询 main/0 失败，因为读取的字符串： who sells fries并拆分为子字符串列表： who , sells , fries , 将不会与 ask/1 中的原子列表who , sells , fries统一谓词。 要使此查询成功，请重写：

ask([First, Second|O]) :-
    First = "who",    % check for the string "who"
    Second = "sells", % check for the string "sells"
    write(O).

第二个查询为 ask/1 提供了一个原子列表，它将与 ask/1 中的原子统一。