Skip to content
Related Articles

Related Articles

Improve Article
Save Article
Like Article

UGC-NET | UGC NET CS 2015 Dec – III | Question 43

  • Last Updated : 12 Jun, 2018

A horn clause is __________.
(A) A clause in which no variables occur in the expression
(B) A clause that has at least one negative literal
(C) A disjunction of a number of literals
(D) A clause that has at most one positive literal

Answer: (D)

Explanation: In logic programming horn clause is a clause that has at most one positive literal. When there is exactly one positive literal then it is known as definite clause but when there is no positive literal then sometimes it is called goal clause.
So, option (D) is correct.

Quiz of this Question

My Personal Notes arrow_drop_up
Recommended Articles
Page :

Start Your Coding Journey Now!