Прочтите линию файла по линии в Prolog
-
24-10-2019 - |
Вопрос
Я хотел бы прочитать простой текстовый файл и применить предикат к каждой строке (предикаты содержат write
который делает выход). Как бы я это сделал?
Решение
В SWI-Prolog самым чистым решением является написание DCG, который описывает, что такое «линия», а затем вызывает предикат для каждой строки. Используйте библиотеку (PIO), чтобы применить DCG к файлу.
РЕДАКТИРОВАТЬ: Как было запрошено, рассмотрим:
:- use_module(library(pio)).
lines([]) --> call(eos), !.
lines([Line|Lines]) --> line(Line), lines(Lines).
eos([], []).
line([]) --> ( "\n" ; call(eos) ), !.
line([L|Ls]) --> [L], line(Ls).
Пример использования: ?- phrase_from_file(lines(Ls), 'your_file.txt').
Другие советы
Вы можете использовать read
Чтобы прочитать поток. Не забудьте вызвать at_end_of_stream
Чтобы обеспечить отсутствие синтаксических ошибок.
Пример:
readfile.pl
main :-
open('myFile.txt', read, Str),
read_file(Str,Lines),
close(Str),
write(Lines), nl.
read_file(Stream,[]) :-
at_end_of_stream(Stream).
read_file(Stream,[X|L]) :-
\+ at_end_of_stream(Stream),
read(Stream,X),
read_file(Stream,L).
myfile.txt
'line 0'.
'line 1'.
'line 2'.
'line 3'.
'line 4'.
'line 5'.
'line 6'.
'line 7'.
'line 8'.
'line 9'.
Таким образом, вызывая main
Вы получите выход:
?- main.
[line 0,line 1,line 2,line 3,line 4,line 5,line 6,line 7,line 8,line 9]
true
Просто настройте main
. Анкет Вывод здесь является примером с использованием write
, конечно. Настройте в соответствии с вашим запросом.
Я предполагаю, что этот принцип может быть применен, чтобы ответить на ваш вопрос. Удачи.
Есть больше возможных по количеству и более разумных в решениях производительности, чтобы получить неинтерпретированные простые текстовые строки IE из файла:
SWI-Prolog:
read_line(S, X) :-
read_line_to_codes(S, L),
read_line2(L, X).
read_line2(end_of_file, _) :- !, fail.
read_line2(L, X) :-
atom_codes(X, L).
Jekejeke Prolog:
:- use_module(library(stream/console)).
Вот несколько времен, чтение файла из 655 строк:
test :-
open('<path>', read, Stream),
test(Stream),
close(Stream).
test(Stream) :-
read_line(Stream, _), !,
test(Stream).
test(_).
SWI-Prolog:
̀?- time((between(1,100,_), test, fail; true)).
% 328,300 inferences, 0.125 CPU in 0.143 seconds (88% CPU, 2626400 Lips)
true.
Jekejeke Prolog:
?- time((between(1,100,_), test, fail; true)).
% Up 121 ms, GC 2 ms, Thread Cpu 94 ms (Current 05/07/19 17:19:05)
Yes
Я предполагаю, что решение SWI-Prololog, которое считывается в строку вместо этого в атом, может быть быстрее. Но в вышеперечисленном мы сравниваем атом с чтением атома.