# UGC-NET | UGC NET CS 2015 Jun – III | Question 24

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

Explanation:

• The resolvent of two Horn clauses is not a Horn clause. False
• The resolvent of two Horn clauses is a Horn clause. True
• 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. False
• 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. False
• So, option (B) is correct.

Quiz of this Question

Whether you're preparing for your first job interview or aiming to upskill in this ever-evolving tech landscape, GeeksforGeeks Courses are your key to success. We provide top-quality content at affordable prices, all geared towards accelerating your growth in a time-bound manner. Join the millions we've already empowered, and we're here to do the same for you. Don't miss out - check it out now!