'Carpenter ann' presentation slideshows

Horn clauses

Horn clauses. Intro. A Horn clause is a disjunction of literals of which at most one is positive . E.g. {?lawyer(x), rich(x)} Every Horn clause can be written as an implication whose premise is a conjunction of positive literals and whose conclusion is a single positive literal. E.g.

1.32k views • 38 slides