60. Birthday: Robert A. Kowalski, 2002

Logic Programming Languages

Program Derivation and Properties

Software Development

Extensions of Logic Programming

Applications in Logic