A goal succeeds, if there are facts (rules) that match or unify the goal. What are required in order for a goal clause and a fact to unify? Select all that apply. their arity must be different. their corresponding arguments match. they have the same number of arguments. their predicates are the same.