Open In App
Related Articles

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

Improve
Improve
Improve
Like Article
Like
Save Article
Save
Report issue
Report
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: (B)

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

    Last Updated : 18 Jun, 2018
    Like Article
    Save Article
    Previous
    Next
    Share your thoughts in the comments
    Similar Reads