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.
Answers:
A. their arity must be different.
B. their predicates are the same.
C. they have the same number of arguments.
D. their corresponding arguments match.
Answer. B, C and D.