Buy Me a Coffee at ko-fi.com

Horn clause

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

Pronunciation
/hɔːn klɔːz/
/hɔrn klɔz/
Categories
clause