Clause de Horn
Définition
Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion.
Les clauses de Horn sont ainsi nommées d'après le nom du logicien Alfred Horn qui, le premier, les a étudiées. Elles servent à garantir l'intégrité entre les requêtes et les bases de données ou de connaissances dans les systèmes évolués
Français
clause de Horn
Anglais
Horn clause
Contributeurs: Imane Meziani, Isaline Hodecent, wiki
