pub fn float_term(x: f64) -> PrologTerm
float(x) — shorthand for PrologTerm::Float.
float(x)
PrologTerm::Float