Horn clause

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

en-US/ˈhɔɹn ˈklɔz/
en-GB/ˈhɔːn ˈklɔːz/

Categories:

clause