1:- module(tidylog_number_float, [float//1]). 2 3:- use_module(library(tidylog/common), [format//2,parsing//0]). 4 5:- use_module(library(dcg/basics), []). 6 7% Define Prolog floats 8% (cheat by punting to existing SWI Prolog code) 9 10float(F) --> 11 ( parsing -> 12 dcg_basics:float(F) 13 ; [] -> 14 { float(F) }, 15 format("~g",[F]) 16 )