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.