prolog - 在 prolog 中读取用户输入的字符串

Question

我是 Prolog 的初学者。我正在使用 swi prolog（刚开始使用它），我需要将用户输入字符串拆分为列表。我尝试了以下代码，但我收到一条错误消息，指出“句号正文中的句号？无法重新定义，/2”

write('Enter the String'),nl,read('I').
tokenize("",[]).
tokenize(I,[H|T]):-fronttoken(I,H,X),tokenize(X,T).

有人可以帮我解决这个问题吗...

Answer 1

从您的错误消息中，很明显您正在使用 SWI-Prolog。然后你可以使用它的库支持：

?- read_line_to_codes(user_input,Cs), atom_codes(A, Cs), atomic_list_concat(L, ' ', A).
|: hello world !
Cs = [104, 101, 108, 108, 111, 32, 119, 111, 114|...],
A = 'hello world !',
L = [hello, world, !].

为了更直接地处理“字符串”（实际上，字符串是代码列表），我在字符串//1的帮助下构建了我的拆分器

:- use_module(library(dcg/basics)).

%%  splitter(+Sep, -Chunks)
%
%   split input on Sep: minimal implementation
%
splitter(Sep, [Chunk|R]) -->
    string(Chunk),
    (   Sep -> !, splitter(Sep, R)
    ;   [], {R = []}
    ).

作为一个DCG，它应该被称为短语/ 2

?- phrase(splitter(" ", Strings), "Hello world !"), maplist(atom_codes,Atoms,Strings).
Strings = [[72, 101, 108, 108, 111], [119, 111, 114, 108, 100], [33]],
Atoms = ['Hello', world, !] .

Answer 2

您的第一行是其他谓词的一部分。在顶层使用时，被视为无头规则的定义，无效。

我可以复制这个：

2 ?- [user].
|: write('Enter the String'),nl,read('I').
ERROR: user://1:16:
        Full stop in clause-body?  Cannot redefine ,/2
|: 

你的规则中缺少一个头部，它只有身体。但它必须同时具备：

3 ?- [user].
|: tokenize("",[]).
|: tokenize(I,[H|T]) :- fronttoken(I,H,X),tokenize(X,T).
|: 

还行吧。