integer(X). - Проверяет, является ли аргумент X предиката целым числом.