A.12 library(dcg/basics): Various general DCG utilities
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(dcg/basics)).
Source[nondet]string(-Codes)//
Take as few as possible tokens from the input, taking one more each time on backtracking. This code is normally followed by a test for a delimiter. For example: 
upto_colon(Atom) -->
        string(Codes), ":", !,
        { atom_codes(Atom, Codes) }.
See also
string_without//2.