arity/1
Tests whether the given term is an arity
arity(Term) -(i)
Compatibility: LPA Win-Prolog.
Remarks:
As in LPA Win-Prolog ,this predicate succeeds if the given Term is an integer in the range [0..128]; otherwise it fails.