tests whether the type of the argument is integer
integer(Term)
integer(Term) (i)
void(Term) (i) Term to be tested.
This is a standard prolog built-in. Integer() succeeds if its argument is unbound or currently bound to an integer.
NOTE: This implementation differs to that of Clocksin/Mellish for their integer predicate would fail if the Term is unbound. To get the usual behaviour, you have to use a bound (Term),integer(Term) combination!
read(X), ( atom(X), write("Atom"),nl ; integer(X), write("Integer"),nl ).
No runtime errors.
prolog-process, client-server, object