dcg_basics:float//1

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

All Application Manual Name SummaryHelp

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
    - csym//1
    - atom//1
  - high_order.pl

float(?Float)// is det: Process a floating point number. The actual conversion is controlled by number_codes/2.