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

fix semicontext notation

Browse Source
This commit is contained in:
Mark Thom
2018-10-15 22:31:53 -06:00
parent 3140c65f67
commit 1b7ffa00af
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -25,12 +25,11 @@ term_expansion(Term0, (ModHead :- ModBody)) :-
!, !,
nonvar(Head), nonvar(Head),
Head =.. [RuleName | Args], Head =.. [RuleName | Args],
append(Args, ['$VAR'(0), '$VAR'(N)], ModArgs), %% problematic line. append([SC | SCs], '$VAR'(N), SemiContextArgs),
append(Args, ['$VAR'(0), SemiContextArgs], ModArgs),
ModHead =.. [RuleName | ModArgs], ModHead =.. [RuleName | ModArgs],
nonvar(Body), nonvar(Body),
expand_body(Body, ModBody1, 0, N1), expand_body(Body, ModBody, 0, N).
expand_body_term([SC | SCs], ModBody2, N1, N),
ModBody = (ModBody1, ModBody2).
term_expansion(Term0, (ModHead :- ModBody)) :- term_expansion(Term0, (ModHead :- ModBody)) :-
nonvar(Term0), nonvar(Term0),
Term0 = (Head --> Body), Term0 = (Head --> Body),