एक Horn clause एक clause (literals का disjunction) है जिसमें अधिकतम एक positive literal होता है।

Expression: (!A | !B | C)

क्या यह एक Horn clause है?