sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

minor cleanup

This commit is contained in:
Simon Forman 2019-08-12 22:29:09 -07:00
parent d22e6e86dc
commit 4c78a31bd9
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
thun/gnu-prolog/parser.pl
View File

@ -37,28 +37,32 @@ symbol(C) --> chars(Chars), !, { Chars \= "==", atom_codes(C, Chars) }.
num(N) --> signed_digits(Codes), !, end_num, { number_codes(N, Codes) }. num(N) --> signed_digits(Codes), !, end_num, { number_codes(N, Codes) }.
% TODO: floats, scientific notation. % TODO: floats, scientific notation.
signed_digits([45|Codes]) --> "-", !, digits(Codes).
signed_digits( Codes ) --> digits(Codes).
end_num, [Ch] --> [Ch], { [Ch] = "[" ; is_space(Ch) }.
end_num([], []).
% Groups of characters. % Groups of characters.
chars(Chars) --> one_or_more(char, Chars). chars(Chars) --> one_or_more(char, Chars).
blanks --> blank, !, blanks | []. blanks --> blank, !, blanks | [].
digits(Digits) --> one_or_more(digit, Digits). digits(Digits) --> one_or_more(digit, Digits).
signed_digits([45|Codes]) --> "-", !, digits(Codes).
signed_digits( Codes ) --> digits(Codes).
% Character types. % Character types.
char(Ch) --> [Ch], { nonvar(Ch), is_glyph(Ch)}. char(Ch) --> [Ch], { nonvar(Ch), is_glyph(Ch) }.
blank --> [Ch], { nonvar(Ch), is_space(Ch) }. blank --> [Ch], { nonvar(Ch), is_space(Ch) }.
digit(Ch) --> [Ch], { nonvar(Ch), between(0'0, 0'9, Ch) }. digit(Ch) --> [Ch], { nonvar(Ch), between(0'0, 0'9, Ch) }.
end_num, [Ch] --> [Ch], { [Ch] = "[" ; is_space(Ch) }.
end_num([], []).
is_glyph(Ch) :- Ch =\= 0'[, Ch =\= 0'], between(0'!, 0'~, Ch). is_glyph(Ch) :- Ch =\= 0'[, Ch =\= 0'], between(0'!, 0'~, Ch).
is_space(Ch) :- Ch =:= 32 ; between(9, 13, Ch). is_space(Ch) :- Ch =:= 32 ; between(9, 13, Ch).
one_or_more(E, List) --> one_or_more_(List, E).
one_or_more_([Ch|Rest], P) --> call(P, Ch), one_or_more_(Rest, P).
one_or_more_([Ch], P) --> call(P, Ch).
% Line is the next new-line delimited line from standard input stream as % Line is the next new-line delimited line from standard input stream as
% a list of character codes. % a list of character codes.
@ -69,10 +73,6 @@ line(10, []) :- !. % break on new-lines.
line(-1, [eof]) :- !. % break on EOF line(-1, [eof]) :- !. % break on EOF
line(X, [X|Line]) :- get_code(Y), !, line(Y, Line). line(X, [X|Line]) :- get_code(Y), !, line(Y, Line).
one_or_more(E, List) --> one_or_more_(List, E).
one_or_more_([Ch|Rest], P) --> call(P, Ch), one_or_more_(Rest, P).
one_or_more_([Ch], P) --> call(P, Ch).
/* /*