Literal

das

[lɪteˈʁaːl]NomPluriel: Literale

Définitions

littéral logique- formule atomique (atome) ou sa négation

eine atomare Formel (Atom) oder deren Negation

Eine Klausel ist eine Hornklausel, falls sie höchstens ein positives Literal enthält.

Une clause est une clause de Horn si elle contient au plus un littéral logique positif.

littéral informatique- information (par exemple : nombre, caractère, chaîne) qui représente directement une valeur

eine Information (zum Beispiel: Zahl, Zeichen, String), die direkt einen Wert darstellt

In der Wertzuweisung int Zahl = 42 ist 42 ebenso ein Literal wie in string Text = "Hallo" der Teil "Hallo".

Dans l'affectation int Zahl = 42, 42 est un littéral informatique tout comme dans string Text = « bonjour » la partie « bonjour ».