First page
Back
Continue
Last page
Overview
Graphics
Terminologie a omezení
struktura pravidla:
L0
hlava pravidla
L1,…,Ln
tělo pravidla
Pz.: tvrzení i literály jsou Hornovy klauzule