SWI-Prolog -- string//1

Availability::- use_module(library(dcg/basics)).

[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.