Horn clause

Also known as Horn formula

clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal