SP_is_number()
#include <sicstus/sicstus.h> int SP_is_number(SP_term_ref term);
Determines whether the value of term is a Prolog number.
term
1 if it is a number and 0 otherwise.
Testing Prolog Terms.