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