A clause in a normal logic program has the form: H :- A1, …, An, not B1, …, not Bn. and is read declaratively as a logical implication: H if A1 and … and An and not B1 and … and not Bn. where H and all the Ai and Bi are atomic formulas.
Клаузула у нормалном логичком програму има облик: H :- A1, …, An, не B1, …, не Bn. и декларативно се чита као логична импликација: H ако A1 и … и An и не B1 и … и не Bn. где H и све Ai и  Bi су атомске формуле.