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

代入文における42や文字列における部分と同様にリテラル値である。