ADDED: ... //0, describing an arbitrary number of elements

This is a very versatile nonterminal. For instance, repeated elements:

    ?- phrase((...,[E],...,[E],...), "hello!!").
    %@    E = l
    %@ ;  E = !
    %@ ;  false.

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index e1751d8c852cb8bbbb81a2b50c8dcf0647e2417a..f4cee25c6ee9b1a996d237ce80322b45c594711e 100644 (file)
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -3,7 +3,9 @@
                   phrase/2,
                   phrase/3,
                    seq//1,
-                   seqq//1]).
+                   seqq//1,
+                   ... //0
+           ]).
 
 :- use_module(library(error)).
 :- use_module(library(lists), [append/3]).
@@ -188,3 +190,6 @@ seq([E|Es]) --> [E], seq(Es).
 % Describes a sequence of sequences
 seqq([]) --> [].
 seqq([Es|Ess]) --> seq(Es), seqq(Ess).
+
+% Describes an arbitrary number of elements
+... --> [] | [_], ... .