[LO5] 9.* Clauses de Horn
Channel: Sylvain Schmitz
Date: 2020-10-19

Définition et notations sur les clauses de Horn : une clause est une clause de Horn si elle contient au plus un littéral positif.