Saved Bookmarks
| 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. |
|