Datalog with negation
= Datalog with negation
{c}
{title2=$\mathrm{Datalog}^{\neg}$}
<Datalog> with negative body premises. Its meaning depends on the specified semantics, such as <stable model semantics> or evaluation of a <stratified Datalog> program.