dcg_basics:remainder//1

/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

remainder(-List)//: Unify List with the remainder of the input.