TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

... a clause containing at most one positive literal.  2, fiche 1, Anglais, - Horn%20clause

Record number: 1, Textual support number: 1 CONT

In logic programming, Horn clauses are expressions connected by "or" with at most one positive proposition.  3, fiche 1, Anglais, - Horn%20clause

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

[...] clause comportant au plus un littéral positif.  2, fiche 1, Français, - clause%20de%20Horn

Record number: 1, Textual support number: 1 OBS

Les clauses de Horn possèdent une syntaxe plus restrictive que les règles de production utilisées dans beaucoup de systèmes experts.  3, fiche 1, Français, - clause%20de%20Horn

Fiche 1,  Justifications,  Espagnol

Record number: 1, Textual support number: 1 DEF

Cláusula que contiene como máximo un literal positivo.  1, fiche 1, Espagnol, - cl%C3%A1usula%20de%20Horn