Section: New Results

Historical reflections on proof theory and logic programming

Participant : Dale Miller.

Miller has been working in the area of logic programming and proof theory for more than three decades. Some of his historical reflections on how these two topics influenced each other are contained in the paper [11]. While it is widely known that proof theory has been helpful in shaping the development of logic programming, particular of extensions to conventional Prolog, this paper also documents a few specific examples where logic programming influenced the development of some topics in proof theory.