Standard librarytype_integer_1Version: v15.0.0On this pagetype_integer/1 Description type_integer/1 is a predicate that checks if the given term is an integer. Signature integer(@Term) Where: Term is the term to check.