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.