15-317 Constructive Logic
Lecture 15: Control Constructs

In this lecture we consider how to control logic programming execution and which considerations enter into writing such programs. This includes mode and termination analysis, as well as green and red cuts and negation-as-failure. As examples we use simple list-manipulation programs.

[ Home | Schedule | Assignments | Handouts | Software ]

Frank Pfenning