Literal

das

[lɪteˈʁaːl]Zelfstandig naamwoordMeervoud: Literale

Definities

literaal- een atomaire formule (atoom) of de negatie ervan

eine atomare Formel (Atom) oder deren Negation

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

Een clausule is een Horn-clausule als ze hoogstens één positief literaal bevat.

letterlijke constante- een informatie (bijvoorbeeld: getal, teken, string), die direct een waarde voorstelt

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

In de toewijzing int Zahl = 42 is 42 net zo goed een letterlijke constante als in string Text = "Hallo" het deel "Hallo".