sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

grow/shrink as DCGs.

This commit is contained in:
Simon Forman 2019-08-07 23:28:28 -07:00
parent 4ea77cf1be
commit 976b8302be
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
thun/thun.pl
View File

@ -313,8 +313,8 @@ to_fixed_point(DCG, Ei, Eo) :-
phrase(DCG, Ei, E), % Apply DCG... phrase(DCG, Ei, E), % Apply DCG...
(Ei=E -> Eo=E ; to_fixed_point(DCG, E, Eo)). % ...until a fixed-point is reached. (Ei=E -> Eo=E ; to_fixed_point(DCG, E, Eo)). % ...until a fixed-point is reached.
grow(Ei, Eo) :- to_fixed_point(rebo(expando, grow ), Ei, Eo). grow --> to_fixed_point(rebo(expando, grow )).
shrink(Ei, Eo) :- to_fixed_point(rebo(contracto, shrink), Ei, Eo). shrink --> to_fixed_point(rebo(contracto, shrink)).
% format_n(N) --> {number(N), !, number_codes(N, Codes)}, Codes. % format_n(N) --> {number(N), !, number_codes(N, Codes)}, Codes.