The trick is in this sentence in the docs: “Availability:Arithmetic function (see is/2)”. Unfortunately f/a is used to reference both predicates and functions in the Prolog community. Predicates, well you (probably) know. Functions are terms that can appear in the argument of (the predicates) is/2, =:=/2, >/2, etc.