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 est le premier à les avoir é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
Sources
Contributeurs: Imane Meziani, Isaline Hodecent, wiki
