UGC-NET | UGC NET CS 2015 Dec – III | Question 43
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
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