that this theory can have other applications in the area of nonmonotonic reason-
ing.
The declarative meaning of a stratified program is given by exhibiting a par-
ticular supported minimal model that can be defined in a simple way by using
the Τ operator of van Emden and Kowalski [1976]. This provides a logical in-
terpretation of negation that also works procedurally.
The procedural reading of knowledge written in a form of a stratified
program is provided by defining a top-down interpreter that makes rather
simple use of bottom-up information. We define it in a recursive fashion and
show
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.