Stratified Datalog
= Stratified Datalog
A <Datalog with negation> program whose predicates can be assigned levels so that positive premises do not exceed their head's level and negative premises have strictly lower levels. Finite programs of this form can be evaluated stratum by stratum and have a unique <stable model>.