Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Prolog: The Next 50 Years

The Logic Programming Paradigm: A 25-Year Perspective