Rövid szöveges bemutatás:
A literál kifejezés a logikában kerül bevezetésre. A literálnak nevezünk minden olyan fogalmat, amely valamilyen információt fejez ki. Például a Szegény ∧ Ismeretlen kifejezés, két pozitív (nem negált) literál konjunkciója. Az elsőrendű logikai állapotleírásainak literáljai csakis alap- és függvénymentes literálok (ground and function-free) lehetnek. Az alap literál nem tartalmaz változót, csakis konstanst. Tehát az olyan literál, mint az Ott(x, y) nem megengedett.