A directory of Objective Type Questions covering all the Computer Science subjects. Here you can access and discuss Multiple choice questions and answers for various compitative exams and interviews.

Discussion Forum

Que. 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:The resolvent of two Horn clauses is a Horn clause
Confused About the Answer? Ask for Details Here
Know Explanation? Add it Here

Similar Questions: