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 and 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:B
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 and 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.