Clause de Horn
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
Horn clause
a logical formula that is a disjunction (OR) of literals and has at most one positive literal. Viewed as a rule, a Horn clause is a rule from a conjunction (AND) of positive literals to a single positive conclusion literal.
Contributeurs: Imane Meziani, Isaline Hodecent, wiki
