Which_is_omitted_in_prolog_unification_algorithm?$

• A. Variable check
• B. Occur check
• C. Proposition check
• D. Both Occur & Proposition check