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

offset variable indexing for semi-context notations

Browse Source
This commit is contained in:
Mark Thom
2018-11-18 21:51:53 -07:00
parent c718e17346
commit c281c1b427
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -34,7 +34,7 @@ expand_dcgs(Term0, N, (ModHead :- ModBody)) :-
append(Args, ['$VAR'(N), SemiContextArgs], ModArgs), append(Args, ['$VAR'(N), SemiContextArgs], ModArgs),
ModHead =.. [RuleName | ModArgs], ModHead =.. [RuleName | ModArgs],
nonvar(Body), nonvar(Body),
expand_body(Body, ModBody, 0, N1). expand_body(Body, ModBody, N, N1).
expand_dcgs(Term0, N, (ModHead :- ModBody)) :- expand_dcgs(Term0, N, (ModHead :- ModBody)) :-
nonvar(Term0), nonvar(Term0),
Term0 = (Head --> Body), Term0 = (Head --> Body),