Logique Formelle

Clause de Horn

Formule logique constituée d'une disjonction contenant au plus un littéral positif, essentielle en programmation logique et systèmes experts.

← Retour