Terminologie a omezení

• struktura pravidla:

• L0 hlava pravidla

• L1,…,Ln tělo pravidla

• Li podcíl

• Pz.: tvrzení i literály jsou Hornovy klauzule