From 1e3891204e023551b32854ebc2cb1625a55c717a Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 20 Oct 2018 23:37:09 -0600 Subject: [PATCH] make lists parse properly when used as dcg rules --- src/prolog/lib/dcgs.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/prolog/lib/dcgs.pl b/src/prolog/lib/dcgs.pl index 43cbaad1..d6d2f759 100644 --- a/src/prolog/lib/dcgs.pl +++ b/src/prolog/lib/dcgs.pl @@ -4,10 +4,10 @@ :- op(1200, xfx, -->). +phrase(G, G) :- + nonvar(G), G = [_|_], !. %, append(G, _, Ls0). phrase(G, Ls0) :- - nonvar(G), G = [_|_], !, append(G, _, Ls0). -phrase(G, Ls0) :- - nonvar(G), G = (G1, G2), !, phrase(G1, Ls0, Ls1), phrase(G2, Ls1). + nonvar(G), G = (G1, G2), !, phrase(G1, Ls0, Ls1), phrase(G2, Ls1, []). phrase(G, Ls0) :- call(G, Ls0, []). -- 2.54.0