English Horn clause Cited by user 155.33.131.20 on 20 Apr 2019 A Horn clause is a clause (a disjunction of literals) with at most one positive, i.e.