PLOGHELP INTEGER Chris Mellish, August 1982
Revised by Kathryn Seifert October 1986
Predicate which tests whether its argument is an integer
?- integer(X).
Keywords: integer, numbers, arithmetic
A goal of the form:
?- integer(X).
succeeds if X is an integer.
-- RELATED DOCUMENTATION ----------------------------------------------
PLOGHELP * ARITHMETIC
Overview of HELP files dealing with operations on numbers.