public bool IsBuiltin(string predicateName, int arity) { return IsValidPredicate(predicateName + "/" + arity); }