From 11fdc814090843e693366f0442371ad9d84e6f4d Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Tue, 13 Aug 2019 11:58:31 -0700 Subject: [PATCH] minor cleanup --- thun/gnu-prolog/DCG_basics.pl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/thun/gnu-prolog/DCG_basics.pl b/thun/gnu-prolog/DCG_basics.pl index b44fd1b..406f739 100644 --- a/thun/gnu-prolog/DCG_basics.pl +++ b/thun/gnu-prolog/DCG_basics.pl @@ -52,8 +52,6 @@ digit(Ch) --> [Ch], { nonvar(Ch), between(0'0, 0'9, Ch) }. is_glyph(Ch) :- Ch =\= 0'[, Ch =\= 0'], between(0'!, 0'~, Ch). is_space(Ch) :- Ch =:= 32 ; between(9, 13, Ch). -one_or_more(E, List) --> one_or_more_(List, E). - -one_or_more_([Ch|Rest], P) --> call(P, Ch), one_or_more_(Rest, P). -one_or_more_([Ch], P) --> call(P, Ch). +one_or_more(P, [Ch|Rest]) --> call(P, Ch), one_or_more(P, Rest). +one_or_more(P, [Ch] ) --> call(P, Ch).