InterviewSolution
Saved Bookmarks
| 1. |
Which one of the following is true?(A) The resolvent of two Horn clauses is not a Horn clause(B) The resolvent of two Horn clauses is a Horn clause(C) If we resolve a negated goal G against a fact or rule A to get clause C then C has positive literal or non-null goal(D) If we resolve a negated goal G against a fact or rule A to get clause C then C has positive literal or null goal |
| Answer» | |