Alias for PredicateWithoutArguments, named after the "zeroary" (arity-0) predicates it helps implement.