changeset 09d3c2e519bd in joypy/Joypy details: http://hg.osdn.jp/view/joypy/Joypy?cmd=changeset;node=09d3c2e519bd user: Simon Forman <sform****@hushm*****> date: Wed Aug 07 23:28:28 2019 -0700 description: grow/shrink as DCGs. diffstat: thun/thun.pl | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diffs (14 lines): diff -r 5cae4415452f -r 09d3c2e519bd thun/thun.pl --- a/thun/thun.pl Wed Aug 07 11:40:49 2019 -0700 +++ b/thun/thun.pl Wed Aug 07 23:28:28 2019 -0700 @@ -313,8 +313,8 @@ phrase(DCG, Ei, E), % Apply DCG... (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). -shrink(Ei, Eo) :- to_fixed_point(rebo(contracto, shrink), Ei, Eo). +grow --> to_fixed_point(rebo(expando, grow )). +shrink --> to_fixed_point(rebo(contracto, shrink)). % format_n(N) --> {number(N), !, number_codes(N, Codes)}, Codes.