Literal

das

[lɪteˈʁaːl]名词复数: Literale

释义

文字- 原子公式（原子）或其否定

eine atomare Formel (Atom) oder deren Negation

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

如果一个子句最多包含一个正文字，那么它就是霍恩子句。

字面量- 直接表示一个值的信息（例如数字、字符、字符串）

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".

在赋值语句 int Zahl = 42 中，42 是一个字面量，正如在 string Text = “Hallo” 中 “Hallo” 这一部分一样。