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.
Articles by others on the same topic
There are currently no matching articles.