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

add spaces between operators when there is an ambiguity

Browse Source
This commit is contained in:
Mark Thom
2018-10-08 23:04:23 -06:00
parent 41b8f7a36b
commit b2d9673593
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/prolog/lib/dcgs.pl
View File

@@ -39,8 +39,7 @@ term_expansion(Term0, (ModHead :- ModBody)) :-
append(Args, ['$VAR'(0), '$VAR'(N)], ModArgs), append(Args, ['$VAR'(0), '$VAR'(N)], ModArgs),
ModHead =.. [RuleName | ModArgs], ModHead =.. [RuleName | ModArgs],
nonvar(Body), nonvar(Body),
expand_body(Body, ModBody, 0, N), expand_body(Body, ModBody, 0, N).
writeq((ModHead :- ModBody)).
expand_body((Term, Terms), (ModTerm, ModTerms), N0, N) :- expand_body((Term, Terms), (ModTerm, ModTerms), N0, N) :-
!, expand_body_term(Term, ModTerm, N0, N1), !, expand_body_term(Term, ModTerm, N0, N1),