io - 在 prolog 中的文件中搜索

Question

你好，我试图创建一个代码，从输入文件中找到给定的字符并打印出它的位置，这就是我“在我发现的类似问题的帮助下”得到的结果

process2(Text,POS):-
    open('houses.txt', read, In),
    get_char(In, Char1),
    find(Char1, In,Text,POS),
    close(In).

find(Text,In, Text, 0).
find(Char,In,Text,POS) :-
    POS is POS1 +1,
    get_char(In, Char2),
    find(Char2,In,Text,POS1).

但是编译器会抛出此错误: 错误:is/2:参数未充分实例化

Answer 1

处理输入时，始终首先考虑 DCG:

:- use_module(library(pio)).

process3(File, Text, POS) :- phrase_from_file(find(Text, POS), File).

find(Text, [P|Ps]) -->
    lazy_list_character_count(P), Text, !,
    find(Text, Ps).
find(Text, Ps) --> [_], find(Text, Ps).
find(_Text, []) --> [].

This finds all positions of the input string:

?- process3('/home/carlo/.swiplrc', `file`, P).
P = [51, 174, 254, 452, 549, 1977, 2106, 3682, 4033|...] ;
false.

编辑按照鲍里斯的建议，削减可能会删除一些合法的解决方案。 所以这是一个免费版本。

find(_Text, []) --> [].
find(Text, [P|Ps]) -->
    lazy_list_character_count(P), Text,
    find(Text, Ps).
find(Text, Ps) --> \+Text, [_], find(Text, Ps).