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

fix DCG bugs

Browse Source
This commit is contained in:
Mark Thom
2018-10-10 21:30:40 -06:00
parent 5586aa7057
commit 24a7206021
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@@ -158,6 +158,7 @@ The following predicates are built-in to rusty-wam.
* `numbervars/2`
* `once/1`
* `partial_string/2`
* `phrase/{2,3}`
* `rational/1`
* `read/1`
* `repeat/0`

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

@@ -41,11 +41,12 @@ term_expansion(Term0, (ModHead :- ModBody)) :-
nonvar(Body),
expand_body(Body, ModBody, 0, N).
expand_body((Term, Terms), (ModTerm, ModTerms), N0, N) :-
!, expand_body_term(Term, ModTerm, N0, N1),
expand_body(Term0, (ModTerm, ModTerms), N0, N) :-
nonvar(Term0), Term0 = (Term, Terms), !,
expand_body_term(Term, ModTerm, N0, N1),
expand_body(Terms, ModTerms, N1, N).
expand_body(Term, ModTerm, N0, N) :-
expand_body_term(Term, ModTerm, N0, N).
expand_body(Term0, ModTerm, N0, N) :-
nonvar(Term0), expand_body_term(Term0, ModTerm, N0, N).
expand_body_term([], true, N, N) :- !.
expand_body_term([Arg|Args], ModTerm, N0, N) :-