1.

Which is omitted in prolog unification algorithm?(a) Variable check(b) Occur check(c) Proposition check(d) Both Occur & Proposition check

Answer» Right option is (b) Occur check

Explanation: Occur check is omitted in prolog unification algorithm because of unsound inferences.


Discussion

No Comment Found

Related InterviewSolutions