$($d$)[2$ points$]$ What is the scope of a variable in a Prolog rule?

Local to the rule and all instances of the variable within the rule must unify.

Local to the rule and the instances of the variable within the rule need not unify.

It depends on whether the variable name begins with an upper$-$case or lower$-$case letter.

Global.