/usr/lib/swipl/library/dcg/basics.pl
AllApplicationManualNameSummaryHelp

  • library
    • dcg
      • basics.pl -- Various general DCG utilities
        • string_without//2
        • string//1
        • blanks//0
        • blank//0
        • nonblanks//1
        • nonblank//1
        • blanks_to_nl//0
        • whites//0
        • white//0
        • alpha_to_lower//1
        • digits//1
        • digit//1
        • integer//1
        • float//1
        • number//1
        • xinteger//1
        • xdigit//1
        • xdigits//1
        • eol//0
        • eos//0
        • remainder//1
        • prolog_var_name//1
        • atom//1
      • high_order.pl -- High order grammar operations
 string(-Codes)// is nondet
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.