1 Introduction  
2 The need for more expressive logic programming  
3 Some formal frameworks for logic programming  
4 The trajectory of proof theory investigations  
5 Intuitionistic logic and proof search  
6 Universal goals, binder mobility, and abstract data types  
7 Linear logic programming  
8 Focusing and polarities  
9 Advantages for connecting logic programming to proof theory  
10 Prospects for logic programming  
11 Conclusion  