Stratified Negation In Datalog

A description of how the technique of stratified negation is applied in Datalog