Complex sentence: A Horn clause is a clause with at most one positive literal, called the "head" of the clause, and any number of negative literals, forming the "body" of the clause.
Split into simpler sentences: A Horn clause is a clause with at most one positive literal (called the "head" of the clause). Negative literals, if any, are called the "body" of the clause.