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

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary