Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. T

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and tran

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate

Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and main