15-317 Constructive Logic
Lecture 21: Stratification
In this lecture we discuss which kind of structure may be implicit
or explicit in bottom-up logic programming. We find a new form of
modularity called stratification, where predicates at a higher level
depend on predicates at a lower level, but not vice versa. Together
with saturation (including complexity analysis of rules based on
prefix firings) this allows the constructively sound use of negation
in some circumstances.
[ Home
| Schedule
| Assignments
| Handouts
| Software
]
fp@cs
Frank Pfenning
|