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

enable phrase_ rules for module resolved grammars (#785)

Browse Source
This commit is contained in:
Mark Thom
2021-02-03 15:48:09 -07:00
parent cab0e4395a
commit 94392f248c
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/lib/dcgs.pl
View File

@@ -31,6 +31,8 @@ phrase(GRBody, S0, S) :-
phrase_([], S, S). phrase_([], S, S).
phrase_(!, S, S). phrase_(!, S, S).
phrase_(_:[], S, S).
phrase_(_:!, S, S).
phrase_((A, B), S0, S) :- phrase_((A, B), S0, S) :-
phrase(A, S0, S1), phrase(B, S1, S). phrase(A, S0, S1), phrase(B, S1, S).
phrase_(M:(A, B), S0, S) :- phrase_(M:(A, B), S0, S) :-
@@ -57,16 +59,24 @@ phrase_(M:(A | B), S0, S) :-
( phrase(M:A, S0, S) ; phrase(M:B, S0, S) ). ( phrase(M:A, S0, S) ; phrase(M:B, S0, S) ).
phrase_({G}, S0, S) :- phrase_({G}, S0, S) :-
( call(G), S0 = S ). ( call(G), S0 = S ).
phrase_(M:{G}, S0, S) :-
( call(M:G), S0 = S ).
phrase_(call(G), S0, S) :- phrase_(call(G), S0, S) :-
call(G, S0, S). call(G, S0, S).
phrase_(M:call(G), S0, S) :-
call(M:G, S0, S).
phrase_((A -> B), S0, S) :- phrase_((A -> B), S0, S) :-
phrase((A -> B ; fail), S0, S). phrase((A -> B ; fail), S0, S).
phrase_(M:(A -> B), S0, S) :- phrase_(M:(A -> B), S0, S) :-
phrase((M:A -> M:B ; fail), S0, S). phrase((M:A -> M:B ; fail), S0, S).
phrase_(phrase(NonTerminal), S0, S) :- phrase_(phrase(NonTerminal), S0, S) :-
phrase(NonTerminal, S0, S). phrase(NonTerminal, S0, S).
phrase_(M:phrase(NonTerminal), S0, S) :-
phrase(M:NonTerminal, S0, S).
phrase_([T|Ts], S0, S) :- phrase_([T|Ts], S0, S) :-
append([T|Ts], S, S0). append([T|Ts], S, S0).
phrase_(_:[T|Ts], S0, S) :-
append([T|Ts], S, S0).
% The same version of the below two dcg_rule clauses, but with module scoping. % The same version of the below two dcg_rule clauses, but with module scoping.