float//1

Places
- Home
- Graphs
- Prefixes
Admin
- Users
- Settings
- Plugins
- Statistics
Repository
Query
Help
Login

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

AllApplicationManualNameSummaryHelp

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(dcg/basics): 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
      - eos//0
      - remainder//1
      - prolog_var_name//1
      - atom//1
- Packages

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

Source

[det]float(?Float)//

Process a floating point number. The actual conversion is controlled by number_codes/2.

ClioPatria (version V3.1.1-40-g9d9e003)