MCQ
Q.
___________ trees can be used to infer in Horn clause systems.
Correct Answer: B