From c281c1b4271d81282360d1e996e5dbb09ebb080f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 18 Nov 2018 21:51:53 -0700 Subject: [PATCH] offset variable indexing for semi-context notations --- src/prolog/lib/dcgs.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prolog/lib/dcgs.pl b/src/prolog/lib/dcgs.pl index d92e6d2b..6f3e092f 100644 --- a/src/prolog/lib/dcgs.pl +++ b/src/prolog/lib/dcgs.pl @@ -34,7 +34,7 @@ expand_dcgs(Term0, N, (ModHead :- ModBody)) :- append(Args, ['$VAR'(N), SemiContextArgs], ModArgs), ModHead =.. [RuleName | ModArgs], nonvar(Body), - expand_body(Body, ModBody, 0, N1). + expand_body(Body, ModBody, N, N1). expand_dcgs(Term0, N, (ModHead :- ModBody)) :- nonvar(Term0), Term0 = (Head --> Body), -- 2.54.0