rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added

Browse Source
This commit is contained in:
panasenco
2021-04-24 21:29:50 -07:00
parent 2cbc7e4f9a
commit e0e812f95c
2 changed files with 21 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/lib/pio.pl
View File

@@ -1,5 +1,6 @@
:- module(pio, [phrase_from_file/2,
phrase_from_file/3]).
phrase_from_file/3,
raw_chars//1]).
:- use_module(library(dcgs)).
:- use_module(library(error)).
@@ -43,3 +44,15 @@ reader_step(Stream, Pos, Xs0) :-
partial_string(Cs, Xs0, Xs),
stream_to_lazy_list(Stream, Xs)
).
/* Relate a character list to itself greedily - for reading raw file contents using `phrase_from_file/2`
A quick benchmark:
Greedy (recurse first):
?- time(phrase_from_file(raw_chars(_), '/mnt/544KB.json')).
% CPU time: 22.471 seconds
Generous (empty list first):
?- time(phrase_from_file(raw_chars(_), '/mnt/544KB.json')).
% CPU time: 44.119 seconds
*/
raw_chars([C|Cs]) --> [C], raw_chars(Cs).
raw_chars([]) --> [].