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 ]

Frank Pfenning