Creates a Rule template: a head with functor and arity anonymous-variable arguments, and an anonymous-variable body (matching anything). See Struct.template.
if arity is negative