« Clause de Horn » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵==Sources== » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 9 : | Ligne 9 : | ||
== Anglais == | == Anglais == | ||
'''Horn clause''' | '''Horn clause''' | ||
==Sources== | ==Sources== | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374012 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374012 Source : Le grand dictionnaire terminologique ] | ||
Dernière version du 30 août 2024 à 17:49
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
