Explanation: None. 7. A Horn clause is a clause with _______ positive literal.
A. At least one
B. At most one
C. None
D. All
Answer:A
Explanation: None. 7. A Horn clause is a clause with _______ positive literal.
A. At least one B. At most one C. None D. All
Explanation: Refer the definition of Horn Clauses. 8. ___________ trees can be used to infer in Horn clause systems